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"
|
2012-07-02 18:50:50 +02:00
|
|
|
GRUB_CMDLINE_LINUX_DEFAULT="loglevel=4"
|
2014-09-23 16:24:57 +02:00
|
|
|
# Uncomment to use basic console
|
|
|
|
#GRUB_TERMINAL_INPUT="console"
|
|
|
|
# Uncomment to disable graphical terminal
|
|
|
|
#GRUB_TERMINAL_OUTPUT=console
|
2011-10-18 18:15:56 +02:00
|
|
|
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
|