# This file is sourced by update-grub, and its variables are propagated
# to its children in /etc/grub.d/

# Menu entry to be booted on timeout
GRUB_DEFAULT=0

# Menu timeout ( -1 to wait forever )
GRUB_TIMEOUT=5

# Distributor's name (for labels of menu entries)
GRUB_DISTRIBUTOR=Debian

# Parameters to be appended to Linux menu-entries.
#GRUB_CMDLINE_LINUX=

# Force Grub terminal mode. "console" disable graphic
# mode. (read the manual before using "serial")
#GRUB_TERMINAL=console