| 1 |
On 2016-06-30 19:39 +0100, Neil Bothwick wrote: |
| 2 |
|
| 3 |
> Use the 40_custom file, renumbering it if you need to change the order. |
| 4 |
|
| 5 |
Well, this is basically my item 2. I did see the custom files ... |
| 6 |
|
| 7 |
I was hoping for something along the lines of |
| 8 |
|
| 9 |
>> hypothetical /etc/grub.d/99_local |
| 10 |
|
| 11 |
#! /bin/bash |
| 12 |
|
| 13 |
GRUB_CMDLINE_LINUX_DEFAULT="${GRUB_CMDLINE_LINUX_DEFAULT} softlevel=offline" |
| 14 |
GRUB_DISTRIBUTOR="Gentoo Offline" |
| 15 |
. /etc/grub.d/10_linux |
| 16 |
|
| 17 |
<< |
| 18 |
|
| 19 |
... but there's plenty that could go wrong with this. I don't know |
| 20 |
grub in enough detail to understand how the /etc/default/grub variable |
| 21 |
values are patched in. That was why I asked here. |
| 22 |
|
| 23 |
-- |
| 24 |
Please *no* private copies of mailing list or newsgroup messages. |
| 25 |
Why does the arrow on Hillary signs point to the right? |
Archives