From eca3847de2c667dfa4cec9012d959b08d8b23e73 Mon Sep 17 00:00:00 2001 From: Peter Jones Date: Thu, 10 May 2012 10:30:52 -0400 Subject: [PATCH] This can go too. --- grub.default | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 grub.default diff --git a/grub.default b/grub.default deleted file mode 100644 index 5b9f56a..0000000 --- a/grub.default +++ /dev/null @@ -1,8 +0,0 @@ -GRUB_TIMEOUT=5 -GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)" -GRUB_DEFAULT=saved -# GRUB_TERMINAL="serial console" -# GRUB_SERIAL_COMMAND="serial --unit=0 --speed=9600" -GRUB_CMDLINE_LINUX="quiet rhgb" -GRUB_DISABLE_RECOVERY="true" -GRUB_THEME=/boot/grub2/themes/system/theme.txt