diff options
author | makefu <github@syntax-fehler.de> | 2018-05-03 18:45:55 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2018-05-03 18:45:55 +0200 |
commit | 8156ab92378422d36d0af55c8d4b3b5742f4305c (patch) | |
tree | fcbcb08991681dcd24a88d7a9bac7f22840df575 /lib | |
parent | 45377068c0bfbb009b7cbe41dbca97dd44c9c955 (diff) | |
parent | 28d6704a0d617ca7d379b836ab9fdd4d6a0be868 (diff) |
Merge remote-tracking branch 'lass/master'
Diffstat (limited to 'lib')
-rw-r--r-- | lib/types.nix | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/types.nix b/lib/types.nix index 1cf2d96c9..d663d2512 100644 --- a/lib/types.nix +++ b/lib/types.nix @@ -50,6 +50,14 @@ rec { default = false; }; + monitoring = mkOption { + description = '' + Whether the host should be monitored by monitoring tools like Prometheus. + ''; + type = bool; + default = false; + }; + owner = mkOption { type = user; }; |