On 12/6/19 1:45 AM, Samuel Sieb wrote:
On 12/5/19 10:31 PM, Robert McBroom via users wrote:
> On 12/5/19 7:22 PM, Tom Horsley wrote:
>> On Thu, 5 Dec 2019 19:16:56 -0500
>> Robert McBroom via users wrote:
>>
>>> Where are the settings for
>>> $kernelopts entered?
>> They are as hidden as they can make them in the grubenv
>> file which usually lives for real down in the efi
>> directories and has a symlink other places.
>>
>> grub2-editenv can be used to change things
>> if you can figure out the cryptic argument syntax.
>
> Not a uefi system. However found grubenv in the grub2 directory. It
> is editable and could add 'vga=791 3' to
You shouldn't edit it like that. There's a reason there's a specific
command to make changes to it. grub can be very particular about
what's in the file and what size it is.
_______________________________________________
grub2-editenv is totally opaque