diff options
author | tv <tv@krebsco.de> | 2018-05-09 11:07:27 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-05-09 11:07:27 +0200 |
commit | 3f3c12dcd06ba211a484aabf011880a83e5832fd (patch) | |
tree | e713b5f6e9084c3ff5cf185a1aafc12437822ea8 /lib | |
parent | edafe24e94252e2be936a760ce47485c8e4fa0af (diff) | |
parent | af75b96fbe412527c4bf9129de850bcab3e7c7cb (diff) |
Merge remote-tracking branch 'prism/master' (despite bad style)
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; }; |