diff options
| author | Niklas Hambüchen <mail@nh2.me> | 2020-04-23 22:44:21 +0200 |
|---|---|---|
| committer | Niklas Hambüchen <mail@nh2.me> | 2020-07-06 22:07:46 +0200 |
| commit | 8665b5ab918607f5775061682874c70a54f17e55 (patch) | |
| tree | 1a609d72caee3c1471aeee39c1ba64617fa0d5a9 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 81c15742ce8bbe698706713195f755d7bcf1314c (diff) | |
grub: Add `boot.loader.grub.extraGrubInstallArgs` option.
Useful for when you need to build grub modules into your grub kernel
to get a working boot, as shown in the added example.
To store this new value, we switch to more structural JSON approach.
Using one line per value to store in `/boot/grub/state` gets really messy when
the values are arrays, or even worse, can contain newlines (escaping would be
needed). Further, removing a value from the file would get extra messy
(empty lines we'd have to keep for backwards compatibility).
Thus, from now on we use JSON to store all values we'll need in the future.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions