daily autocommit

diff --git a/.etckeeper b/.etckeeper
index 895cc02b3a45ef1320da07bb90b14cc5cdd580a2..50e35392643dc005c79fff5f74c7042bbfdc614e 100755 (executable)
--- a/.etckeeper
+++ b/.etckeeper
@@ -1244,6 +1244,7 @@ maybe chmod 0644 'default/kerneloops'
 maybe chmod 0644 'default/keyboard'
 maybe chmod 0644 'default/libvirt-guests'
 maybe chmod 0644 'default/libvirtd'
+maybe chmod 0644 'default/local_service'
 maybe chmod 0644 'default/locale'
 maybe chmod 0644 'default/mdadm'
 maybe chmod 0644 'default/motd-news'
@@ -1542,6 +1543,7 @@ maybe chmod 0644 'group-'
 maybe chmod 0755 'grub.d'
 maybe chmod 0755 'grub.d/00_header'
 maybe chmod 0755 'grub.d/05_debian_theme'
+maybe chmod 0755 'grub.d/06_color'
 maybe chmod 0755 'grub.d/10_linux'
 maybe chmod 0755 'grub.d/20_linux_xen'
 maybe chmod 0755 'grub.d/20_memtest86+'

diff --git a/default/grub b/default/grub
index 34a9c6e1360c887b81c082a2b7e275ed5d2b3e87..eb38836df40b49b1473f51856dc5effe855db6f0 100644 (file)
--- a/default/grub
+++ b/default/grub
@@ -4,9 +4,10 @@
 #   info -f grub -n 'Simple configuration'
 
 GRUB_DEFAULT=0
-GRUB_HIDDEN_TIMEOUT=5
-GRUB_HIDDEN_TIMEOUT_QUIET=true
-GRUB_TIMEOUT=10
+#GRUB_HIDDEN_TIMEOUT=5
+#GRUB_HIDDEN_TIMEOUT_QUIET=true
+GRUB_TIMEOUT=5
+GRUB_TIMEOUT_STYLE="menu"
 GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
 #GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
 GRUB_CMDLINE_LINUX_DEFAULT=""
@@ -32,4 +33,4 @@ GRUB_CMDLINE_LINUX=""
 #GRUB_DISABLE_RECOVERY="true"
 
 # Uncomment to get a beep at grub start
-#GRUB_INIT_TUNE="480 440 1"
+GRUB_INIT_TUNE="480 440 1"

diff --git a/default/local_service b/default/local_service
new file mode 100644 (file)
index 0000000..aee39a8
--- /dev/null
+++ b/default/local_service
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+# TIMEOUT_ON_STOP=5
+
+# vim: et ts=4

diff --git a/grub.d/06_color b/grub.d/06_color
new file mode 100755 (executable)
index 0000000..319448c
--- /dev/null
+++ b/grub.d/06_color
@@ -0,0 +1,17 @@
+#!/bin/bash
+set -e
+
+# grub-mkconfig helper script.
+
+. "/usr/share/grub/grub-mkconfig_lib"
+
+set_default_theme(){
+    # Set the traditional (Debian) blue theme.
+    echo "${1}set menu_color_normal=cyan/blue"
+    echo "${1}set menu_color_highlight=white/blue"
+}
+
+# Set the default theme ...
+set_default_theme
+
+exit 0