Grub: default is signed int. Fixes #42152

This commit is contained in:
Emily Ann Ediger 2018-06-18 23:54:45 -05:00
parent 4b649a99d8
commit 08691d0515
2 changed files with 2 additions and 2 deletions

View file

@ -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.
'';

View file

@ -54,7 +54,7 @@ my $splashImage = get("splashImage");
my $configurationLimit = int(get("configurationLimit"));
my $copyKernels = get("copyKernels") eq "true";
my $timeout = int(get("timeout"));
my $defaultEntry = int(get("default"));
my $defaultEntry = get("default");
my $fsIdentifier = get("fsIdentifier");
my $grubEfi = get("grubEfi");
my $grubTargetEfi = get("grubTargetEfi");