Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- # /boot/grub/grub.cfg.
- # For full documentation of the options in this file, see:
- # info -f grub -n 'Simple configuration'
- GRUB_DEFAULT="Ubuntu"
- GRUB_HIDDEN_TIMEOUT=0
- GRUB_HIDDEN_TIMEOUT_QUIET=true
- GRUB_TIMEOUT=10
- GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
- GRUB_CMDLINE_LINUX_DEFAULT="QUIET SPLASH"
- 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)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement