Differences

This shows you the differences between two versions of the page.

--- jessy:grub [2016/05/08 11:46] – created slack
+++ jessy:grub [2019/11/07 17:58] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
-You can also change the grub default boot entry from the command line without having to install any additional tool.  This won't change the order in the list but it will allow a different OS to boot by default, which sounds like what you may want anyway.
 First, make a backup copy of `/etc/default/grub`. In case something goes wrong, you can easily revert to the known-good copy:
@@ Line 41: / Line 39: @@
     sudo update-grub
+Using an index can be pretty messy - the list of OSes can change after an update. But you can have a look into /boot/grub/grub.cfg and search for the name of desired default OS. Then use the quoted name instead of an index. Example:
+    GRUB_DEFAULT="Microsoft Windows XP Professional (on /dev/sda1)"
-Using an index can be pretty messy - the list of OSes can change after an update. But you can have a look into /boot/grub/grub.cfg and search for the name of desired default OS. Then use the quoted name instead of an index. Example: GRUB_DEFAULT="Microsoft Windows XP Professional (on /dev/sda1)" instead of GRUB_DEFAULT=7
+instead of GRUB_DEFAULT=7