summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorlassulus <lassulus@lassul.us>2018-04-27 15:14:59 +0200
committerlassulus <lassulus@lassul.us>2018-04-27 15:14:59 +0200
commit9bd435d14c67023474989dd78ae5fcaca679e809 (patch)
tree09aeea13ead0039a525bc887f533c4d040f67780
parent817efa5f9d26effaa4c7a8efd6710fec4eb33300 (diff)
types host: add monitoring bool
-rw-r--r--lib/types.nix8
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;
};