diff options
author | Emily Ann Ediger <dje4321@gmail.com> | 2018-06-18 23:54:45 -0500 |
---|---|---|
committer | Emily Ann Ediger <dje4321@gmail.com> | 2018-06-18 23:54:45 -0500 |
commit | 08691d0515a44097fcaf27f59d002805afd0e105 (patch) | |
tree | 2fa218028770ddf386a6b7c84f4abfc367c808e8 /nixos/modules/system/boot/loader/grub/grub.nix | |
parent | 4b649a99d8461c980e7028a693387dc48033c1f7 (diff) | |
download | nixlib-08691d0515a44097fcaf27f59d002805afd0e105.tar nixlib-08691d0515a44097fcaf27f59d002805afd0e105.tar.gz nixlib-08691d0515a44097fcaf27f59d002805afd0e105.tar.bz2 nixlib-08691d0515a44097fcaf27f59d002805afd0e105.tar.lz nixlib-08691d0515a44097fcaf27f59d002805afd0e105.tar.xz nixlib-08691d0515a44097fcaf27f59d002805afd0e105.tar.zst nixlib-08691d0515a44097fcaf27f59d002805afd0e105.zip |
Grub: default is signed int. Fixes #42152
Diffstat (limited to 'nixos/modules/system/boot/loader/grub/grub.nix')
-rw-r--r-- | nixos/modules/system/boot/loader/grub/grub.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/modules/system/boot/loader/grub/grub.nix b/nixos/modules/system/boot/loader/grub/grub.nix index 2e497ff9f2c4..ee07d8657efd 100644 --- a/nixos/modules/system/boot/loader/grub/grub.nix +++ b/nixos/modules/system/boot/loader/grub/grub.nix @@ -386,7 +386,7 @@ in default = mkOption { default = 0; - type = types.int; + type = types.str; description = '' Index of the default menu item to be booted. ''; |