summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorMike Vink <mike1994vink@gmail.com>2023-10-16 23:23:30 +0200
committerMike Vink <mike1994vink@gmail.com>2023-10-16 23:25:45 +0200
commit623656882262442145cce9f375acfd8483ea4970 (patch)
tree01a37f3d096f6fef36d3001be529e9bfc8858f05 /lib
parentd885924961b3c4b3db76b78e603c0cc84ff88aae (diff)
use name from library
Diffstat (limited to 'lib')
-rw-r--r--lib/ivi.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ivi.nix b/lib/ivi.nix
index 64d358a..2d2d881 100644
--- a/lib/ivi.nix
+++ b/lib/ivi.nix
@@ -35,7 +35,7 @@ self: lib: with lib; let
};
isDeployed = mkOption {
description = "The machine is deployed with nixos";
- type = boolean;
+ type = bool;
default = false;
};
};