diff options
| author | Linus Heckemann <git@sphalerite.org> | 2020-09-09 07:37:17 +0200 |
|---|---|---|
| committer | Linus Heckemann <git@sphalerite.org> | 2020-09-09 07:40:08 +0200 |
| commit | fdd944526ccbf2229df70bb7fa1538649642887c (patch) | |
| tree | dd86ebcbe2288db9e633900c1ca710ab98596cc0 /pkgs/development/python-modules/python-mapnik | |
| parent | 61525137fd1002f6f2a5eb0ea27d480713362cd5 (diff) | |
nixos/grub: allow multiple "nodev" devices for mirroredBoots
For UEFI setups, "device" will generally be the special value "nodev"
which represents not running grub-install at all. Using "nodev" for
boot mirrors should therefore be allowed.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik')
0 files changed, 0 insertions, 0 deletions