To have a reference for e.g. options in /etc/default/grub see: https://www.gnu.org/software/grub/ma...#Configuration
PS: I also strongly advise to make a backup of system files before modifying them
cd /etc/default
sudo cp grub grub.orig
This way you can always sudo cp grub.orig grub to get back to the original configuration if something goes wrong.
PS: I also strongly advise to make a backup of system files before modifying them
cd /etc/default
sudo cp grub grub.orig
This way you can always sudo cp grub.orig grub to get back to the original configuration if something goes wrong.
Comment