At the moment, I modify the file /etc/default/grub
to set a specific option and then I run sudo update-grub
in order to apply the change.
However, the file /etc/default/grub
is often overwritten when I update my system and the grub package receives an update. Reading the documentation of grub2 it seems this file is meant for user settings, and then shouldn't be overwritten.
So, my question: how can I make a change permanent with Grub2 on Ubuntu when the /etc/default/grub
file is overwritten with every update to the grub package ?
Thanks for your help.
note: I am currently running Ubuntu 18.04 but I had noticed this behavior in previous versions too.