From 2ce8ffe6aa0afb3a9df4283c579f2f0bc1ea63ce Mon Sep 17 00:00:00 2001 From: John Galt Date: Tue, 23 Sep 2014 07:24:57 -0700 Subject: [PATCH] grub: don't set defaults again --- srcpkgs/grub/files/grub.default | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/srcpkgs/grub/files/grub.default b/srcpkgs/grub/files/grub.default index 488bfb4bb03..0de3db8fced 100644 --- a/srcpkgs/grub/files/grub.default +++ b/srcpkgs/grub/files/grub.default @@ -7,7 +7,10 @@ GRUB_DEFAULT=0 GRUB_TIMEOUT=5 GRUB_DISTRIBUTOR="Void" GRUB_CMDLINE_LINUX_DEFAULT="loglevel=4" -GRUB_TERMINAL_OUTPUT=gfxterm +# Uncomment to use basic console +#GRUB_TERMINAL_INPUT="console" +# Uncomment to disable graphical terminal +#GRUB_TERMINAL_OUTPUT=console GRUB_BACKGROUND=/usr/share/void-artwork/splash.png #GRUB_GFXMODE=1920x1080x32 #GRUB_DISABLE_LINUX_UUID=true