How to permanently set kernel boot options on an installed OS (not wubi) – grub

Before doing the steps below, take a backup. To permanently change the default kernel boot options, press ALT+F2 or open a terminal from system > accessories > terminal. Type in the following command: $ gksudo gedit /etc/default/grub <enter> A text editor will open with the grub configuration file. Near the top of that file you … Continue reading How to permanently set kernel boot options on an installed OS (not wubi) – grub