# This file is sourced by update-grub, and its variables are propagated
# to its childs in /etc/grub.d/
GRUB_DEFAULT=0
GRUB_TIMEOUT=5
GRUB_DISTRIBUTOR=`lsb_release -i -s`
GRUB_CMDLINE_LINUX="quiet splash"
