2009-10-04 08:04:12 +02:00
|
|
|
#
|
2011-10-18 18:15:56 +02:00
|
|
|
# Configuration file for GRUB.
|
2009-10-04 08:04:12 +02:00
|
|
|
#
|
|
|
|
GRUB_DEFAULT=0
|
|
|
|
#GRUB_HIDDENT_TIMEOUT=0
|
|
|
|
#GRUB_HIDDEN_TIMEOUT_QUIET=false
|
|
|
|
GRUB_TIMEOUT=5
|
2011-07-17 01:18:30 +02:00
|
|
|
GRUB_DISTRIBUTOR="Void"
|
2009-10-04 08:04:12 +02:00
|
|
|
GRUB_CMDLINE_LINUX_DEFAULT="quiet"
|
2011-10-18 18:15:56 +02:00
|
|
|
GRUB_TERMINAL_OUTPUT=gfxterm
|
|
|
|
GRUB_BACKGROUND=/usr/share/void-artwork/splash.png
|
|
|
|
#GRUB_GFXMODE=1920x1080x32
|
2009-10-04 08:04:12 +02:00
|
|
|
#GRUB_DISABLE_LINUX_UUID=true
|
|
|
|
#GRUB_DISABLE_LINUX_RECOVERY=true
|