diff options
author | tv <tv@krebsco.de> | 2017-05-24 01:31:22 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2017-05-24 01:31:22 +0200 |
commit | 46d6506916f699e3b707dc41cd68c92b98e50e5a (patch) | |
tree | 1d43d0072fc479c7022e3cd3b9810aa7b90e1db3 /lib | |
parent | 061e702a6fc0e6046d39c3975c9034a69499c45f (diff) | |
parent | 90f6d9f228029233d38a86a520a0e532cc5e499f (diff) |
Merge remote-tracking branch 'prism/master'
Diffstat (limited to 'lib')
-rw-r--r-- | lib/types.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/types.nix b/lib/types.nix index 30de5e177..530cd1e69 100644 --- a/lib/types.nix +++ b/lib/types.nix @@ -31,6 +31,13 @@ rec { default = null; }; + managed = mkOption { + description = '' + If true, then the host's configuration is defined in stockholm. + ''; + type = bool; + }; + owner = mkOption { type = user; }; |