From: Frank Brehm <frank@brehm-online.com>
Date: Fri, 10 Aug 2018 22:08:27 +0000 (+0200)
Subject: daily autocommit
X-Git-Url: https://git.uhu-banane.net/?a=commitdiff_plain;h=f2953e542ef52a5dabe202ed27f17db188094cc7;p=config%2Fbruni%2Fetc-mint.git

daily autocommit
---

diff --git a/.etckeeper b/.etckeeper
index 895cc02..50e3539 100755
--- 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 34a9c6e..eb38836 100644
--- 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
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
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