jessy:grub
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| jessy:grub [2016/05/08 11:46] – 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 `/ | First, make a backup copy of `/ | ||
| Line 40: | Line 38: | ||
| sudo update-grub | 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 / | Using an index can be pretty messy - the list of OSes can change after an update. But you can have a look into / | ||
| - | GRUB_DEFAULT=" | + | GRUB_DEFAULT=" |
| - | + | ||
| instead of GRUB_DEFAULT=7 | instead of GRUB_DEFAULT=7 | ||
jessy/grub.1462707998.txt.gz · Last modified: 2019/11/07 17:58 (external edit)