diff options
| author | iliana etaoin <iliana@buttslol.net> | 2023-06-25 17:46:12 +0000 |
|---|---|---|
| committer | iliana etaoin <iliana@buttslol.net> | 2023-06-25 17:46:12 +0000 |
| commit | 53135cc8c7e8fa6d562bea8fc68dc5b553a7e76a (patch) | |
| tree | cca43c3bfb9a229f2de1375b5023d5f1ec7a26e2 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 31cd1b4afbaf0b1e81272ee9c31d1ab606503aed (diff) | |
nixos/grub: don't die on EFI-only systems if devices != ["nodev"]
Without this change, GRUB installation on non-PC systems (such as
aarch64-linux) only works if boot.loader.grub.devices is set to exactly
`["nodev"]`. If boot.loader.grub.devices was any other value (including
the default `[]`), users got the error:
Died at /nix/store/an9ngv2vg95bdcy0ifsxlbkasprm4dcw-install-grub.pl line 586.
install-grub.pl verifies that if both $grub and $grubEfi are set, then
$grubTarget (e.g. i386-pc) and $grubTargetEfi (e.g. x86_64-efi) must
both be set, or the script will `die`. On non-PC systems, $grubTarget
is "".
When boot.loader.grub.devices is ["nodev"], $grub is set to null,
disabling non-EFI installation. But if a user has devices set for an
x86_64 config, or is using only mirroredBoots without setting devices,
they will hit this `die`.
This change sets $grub to "" if $grubTarget is "".
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions