Posted: . At: 10:34 PM. This was 12 years ago. Post ID: 2906
Page permalink. WordPress uses cookies, or tiny pieces of information stored on your computer, to verify who you are. There are cookies for logged in users and for commenters.
These cookies expire two weeks after they are set.


Displaying GRUB 2 boot menu by default with Linux Mint 12.


This is my /etc/default/grub file, and this is how I got my GRUB 2 boot menu to display by default with Linux Mint 12. You just need to add the GRUB_HIDDEN=0 line to the menu and ensure the rest of the file looks like my example and the menu will be accessible by default without having to press the ESC key within the first seconds of the boot sequence. This was quite a simple fix, this is why Linux is so good, it is very easy to fix when something is not working the way you want it to.

# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
#   info -f grub -n 'Simple configuration'
 
GRUB_DEFAULT=0
GRUB_HIDDEN=0
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=false
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT=" "
GRUB_CMDLINE_LINUX=""
 
# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"
 
# Uncomment to disable graphical terminal (grub-pc only)
#GRUB_TERMINAL=console
 
# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
GRUB_GFXMODE=1680x1050
 
# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID=true
 
# Uncomment to disable generation of recovery mode menu entries
GRUB_DISABLE_RECOVERY="true"
 
# Uncomment to get a beep at grub start
GRUB_INIT_TUNE="480 440 1"

This is the key to this.

GRUB_HIDDEN=0

With a modern GRUB installation, use this setting to show the menu and have a 10-second countdown before booting the default operating system.

GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=10

Then run this command to update the GRUB configuration.

4.4 Tue Mar 10 jason@Yog-Sothoth 0: $ sudo update-grub

Leave a Comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.