Skip to content

Instantly share code, notes, and snippets.

@RdlP

RdlP/grub

Last active August 29, 2015 14:07
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save RdlP/8441101253148c59e1c2 to your computer and use it in GitHub Desktop.
Save RdlP/8441101253148c59e1c2 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
grub
# 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_TIMEOUT="0"
GRUB_RECORDFAIL_TIMEOUT="0"
GRUB_HIDDEN_TIMEOUT_QUIET="true"
GRUB_TIMEOUT="0"
GRUB_DISTRIBUTOR="`lsb_release -i -s 2> /dev/null || echo Debian`"
GRUB_CMDLINE_LINUX_DEFAULT="quiet"
GRUB_CMDLINE_LINUX=""
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment