diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2018-06-15 16:44:06 +0100 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2018-06-16 07:46:52 -0400 |
| commit | bdda5413e14a4e9c7d7e7a19f5e0ebe3e43feef0 (patch) | |
| tree | 55513b160241022b2bf398a07389b9b0e7ce91ee /config.hs | |
| parent | 87cfaae69f29e156a7bcb5b1924b806056c4401c (diff) | |
Grub.configured uses ConfFile.containsShellSetting
This implies the following behavioural changes:
(1) Grub.configured will now change the value set by the first line it
finds that sets the value of its key, if one exists. Previously,
Grub.configured would unconditionally append to /etc/default/grub,
unless the key=value pair was already present.
(2) Grub.configured will comment out any further lines setting the
value of its key found further down the file.
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'config.hs')
0 files changed, 0 insertions, 0 deletions