SHARE
TWEET

/etc/default/grub.cfg

a guest Jul 22nd, 2012 379 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1.  
  2. # If you change this file, run 'update-grub' afterwards to update
  3. # /boot/grub/grub.cfg.
  4. # For full documentation of the options in this file, see:
  5. #   info -f grub -n 'Simple configuration'
  6.  
  7. GRUB_DEFAULT=0
  8. GRUB_HIDDEN_TIMEOUT=10
  9. GRUB_HIDDEN_TIMEOUT_QUIET=false
  10. GRUB_TIMEOUT=10
  11. GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
  12. GRUB_CMDLINE_LINUX_DEFAULT=""
  13. GRUB_CMDLINE_LINUX=""
  14.  
  15. # Uncomment to enable BadRAM filtering, modify to suit your needs
  16. # This works with Linux (no patch required) and with any kernel that obtains
  17. # the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
  18. #GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"
  19.  
  20. # Uncomment to disable graphical terminal (grub-pc only)
  21. GRUB_TERMINAL=console
  22.  
  23. # The resolution used on graphical terminal
  24. # note that you can use only modes which your graphic card supports via VBE
  25. # you can see them in real GRUB with the command `vbeinfo'
  26. #GRUB_GFXMODE=640x480
  27.  
  28. # Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
  29. #GRUB_DISABLE_LINUX_UUID=true
  30.  
  31. # Uncomment to disable generation of recovery mode menu entries
  32. #GRUB_DISABLE_RECOVERY="true"
  33.  
  34. # Uncomment to get a beep at grub start
  35. #GRUB_INIT_TUNE="480 440 1"
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
Top