Part of Slepp's ProjectsPastebinTURLImagebinFilebin
Feedback -- English French German Japanese
Create Upload Newest Tools Donate

Advertising

/etc/default/grub
Tuesday, December 29th, 2015 at 4:23:18am UTC 

  1. # If you change this file, run 'update-grub' afterwards to update
  2. # /boot/grub/grub.cfg.
  3. # For full documentation of the options in this file, see:
  4. #   info -f grub -n 'Simple configuration'
  5.  
  6. GRUB_DEFAULT="0"
  7. #GRUB_HIDDEN_TIMEOUT="0"
  8. GRUB_HIDDEN_TIMEOUT_QUIET="true"
  9. GRUB_TIMEOUT=10
  10. GRUB_DISTRIBUTOR="`lsb_release -i -s 2> /dev/null || echo Debian`"
  11. GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
  12. GRUB_CMDLINE_LINUX=""
  13.  
  14. # Uncomment to enable BadRAM filtering, modify to suit your needs
  15. # This works with Linux (no patch required) and with any kernel that obtains
  16. # the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
  17. #GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"
  18.  
  19. # Uncomment to disable graphical terminal (grub-pc only)
  20. #GRUB_TERMINAL="console"
  21.  
  22. # The resolution used on graphical terminal
  23. # note that you can use only modes which your graphic card supports via VBE
  24. # you can see them in real GRUB with the command `vbeinfo'
  25. #GRUB_GFXMODE="640x480"
  26.  
  27. # Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
  28. #GRUB_DISABLE_LINUX_UUID="true"
  29.  
  30. # Uncomment to disable generation of recovery mode menu entries
  31. #GRUB_DISABLE_RECOVERY="true"
  32.  
  33. # Uncomment to get a beep at grub start
  34. #GRUB_INIT_TUNE="480 440 1"
  35.  
  36. #GRUB_DISABLE_OS_PROBER="false"
  37. GRUB_DISABLE_LINUX_RECOVERY="true"

advertising

Update the Post

Either update this post and resubmit it with changes, or make a new post.

You may also comment on this post.

update paste below
details of the post (optional)

Note: Only the paste content is required, though the following information can be useful to others.

Save name / title?

(space separated, optional)



Please note that information posted here will not expire by default. If you do not want it to expire, please set the expiry time above. If it is set to expire, web search engines will not be allowed to index it prior to it expiring. Items that are not marked to expire will be indexable by search engines. Be careful with your passwords. All illegal activities will be reported and any information will be handed over to the authorities, so be good.

comments powered by Disqus
worth-right