diff options
author | Emily Ann Ediger <dje4321@gmail.com> | 2018-06-19 04:05:50 -0500 |
---|---|---|
committer | Emily Ann Ediger <dje4321@gmail.com> | 2018-06-19 04:05:50 -0500 |
commit | ac0136509ce775b5d14bd2de0cf010f6c1bdc47e (patch) | |
tree | b1991fca84e9b0c8c2c097844b25ea2aa335a7df /nixos/modules/system/boot/loader/grub/grub.nix | |
parent | ae04fb01f8867c112fdbb7334de546875c31e117 (diff) | |
download | nixlib-ac0136509ce775b5d14bd2de0cf010f6c1bdc47e.tar nixlib-ac0136509ce775b5d14bd2de0cf010f6c1bdc47e.tar.gz nixlib-ac0136509ce775b5d14bd2de0cf010f6c1bdc47e.tar.bz2 nixlib-ac0136509ce775b5d14bd2de0cf010f6c1bdc47e.tar.lz nixlib-ac0136509ce775b5d14bd2de0cf010f6c1bdc47e.tar.xz nixlib-ac0136509ce775b5d14bd2de0cf010f6c1bdc47e.tar.zst nixlib-ac0136509ce775b5d14bd2de0cf010f6c1bdc47e.zip |
added suggestion to support both str and int
Diffstat (limited to 'nixos/modules/system/boot/loader/grub/grub.nix')
-rw-r--r-- | nixos/modules/system/boot/loader/grub/grub.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/nixos/modules/system/boot/loader/grub/grub.nix b/nixos/modules/system/boot/loader/grub/grub.nix index f1da2f41b5c1..42da65857221 100644 --- a/nixos/modules/system/boot/loader/grub/grub.nix +++ b/nixos/modules/system/boot/loader/grub/grub.nix @@ -386,7 +386,8 @@ in default = mkOption { default = "0"; - type = types.str; + type = types.either types.int types.str; + apply = toString; description = '' Index of the default menu item to be booted. ''; |