summaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorjeschli <jeschli@gmail.com>2018-06-19 09:52:04 +0200
committerjeschli <jeschli@gmail.com>2018-06-19 09:52:04 +0200
commit6290ff93ae85061582f2ed1263b5f8d50e162a74 (patch)
tree203887d48928654591693a33dfcccba98540a883 /lib
parent8d8e74e971672b15e0e2fe4975e89927b246b820 (diff)
parent0147c69753e90570ab5e17192ec0adedeed25cf9 (diff)
Merge remote-tracking branch 'origin/staging/jeschli'
Diffstat (limited to 'lib')
-rw-r--r--lib/types.nix8
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/types.nix b/lib/types.nix
index 1cf2d96..d663d25 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;
};
[cgit] Unable to lock slot /tmp/cgit/a0000000.lock: Permission denied (13)