diff options
author | Eric Sagnes <eric.sagnes@gmail.com> | 2016-11-04 13:05:13 +0900 |
---|---|---|
committer | Eric Sagnes <eric.sagnes@gmail.com> | 2016-11-04 13:05:13 +0900 |
commit | 80b854739c57debee887aaf4efa9fb113916ae49 (patch) | |
tree | e42c3138963f8d2fd430d41e785f756397eebebc /nixos | |
parent | 797d40767ddb121e49fa0ee2e224c64bdcb376a3 (diff) | |
download | nixlib-80b854739c57debee887aaf4efa9fb113916ae49.tar nixlib-80b854739c57debee887aaf4efa9fb113916ae49.tar.gz nixlib-80b854739c57debee887aaf4efa9fb113916ae49.tar.bz2 nixlib-80b854739c57debee887aaf4efa9fb113916ae49.tar.lz nixlib-80b854739c57debee887aaf4efa9fb113916ae49.tar.xz nixlib-80b854739c57debee887aaf4efa9fb113916ae49.tar.zst nixlib-80b854739c57debee887aaf4efa9fb113916ae49.zip |
grub module: use enum
Diffstat (limited to 'nixos')
-rw-r--r-- | nixos/modules/system/boot/loader/grub/grub.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/nixos/modules/system/boot/loader/grub/grub.nix b/nixos/modules/system/boot/loader/grub/grub.nix index c3be7407d592..17c842ddc533 100644 --- a/nixos/modules/system/boot/loader/grub/grub.nix +++ b/nixos/modules/system/boot/loader/grub/grub.nix @@ -324,8 +324,7 @@ in fsIdentifier = mkOption { default = "uuid"; - type = types.addCheck types.str - (type: type == "uuid" || type == "label" || type == "provided"); + type = types.enum [ "uuid" "label" "provided" ]; description = '' Determines how GRUB will identify devices when generating the configuration file. A value of uuid / label signifies that grub |