On 1/26/24 16:04, Felix Miata wrote:
/etc/default/grub is a configuration file. It is used for generating
/boot/grub2/grub.cfg when that is necessary. That's for after you have determined
that one or more of those parameters needs to be included for every boot. That is
that page's section 5.

I get those when after I edit /etc/default/grub and then run update-bootloader --refresh