luthis, 10 months ago

True, but for this purpose it’s totally fine.

There’s also a big disclaimer at the top of the file:

cat grub.cfg

DO NOT EDIT THIS FILE

It is automatically generated by grub-mkconfig using templates

from /etc/grub.d and settings from /etc/default/grub

Wording could probably be less DOOM SHALL BEFALL YE, as long as you aren’t messing around and just adding logging it’s not an issue.

More info on grub here: wiki.archlinux.org/title/GRUB