committing changes in /etc after apt run

Package changes:
+grub2-theme-mint 1.2.2 all
-mint-meta-codecs 2019.11.03 all
-mint-meta-core 2019.11.03 all
-mint-meta-mate 2019.11.03 all
+mint-meta-codecs 2019.12.28 all
+mint-meta-core 2019.12.28 all
+mint-meta-mate 2019.12.28 all
-mintreport 1.1.3 all
+mintreport 1.1.4 all

diff --git a/.etckeeper b/.etckeeper
index c65e41610471e03ad1ca03918fffba16a2224e82..83f0aa7c8de52be841fccae0f4d1437b4c50c19b 100755 (executable)
--- a/.etckeeper
+++ b/.etckeeper
@@ -1261,6 +1261,7 @@ maybe chmod 0644 'default/google-chrome'
 maybe chmod 0644 'default/grub'
 maybe chmod 0755 'default/grub.d'
 maybe chmod 0644 'default/grub.d/50_linuxmint.cfg'
+maybe chmod 0644 'default/grub.d/60_mint-theme.cfg'
 maybe chmod 0644 'default/hddtemp'
 maybe chmod 0644 'default/im-config'
 maybe chmod 0644 'default/intel-microcode'

diff --git a/default/grub.d/60_mint-theme.cfg b/default/grub.d/60_mint-theme.cfg
new file mode 100644 (file)
index 0000000..654e782
--- /dev/null
+++ b/default/grub.d/60_mint-theme.cfg
@@ -0,0 +1,6 @@
+#! /bin/sh
+set -e
+
+GRUB_FONT="/boot/grub/fonts/UbuntuMono16.pf2"
+GRUB_THEME="/boot/grub/themes/linuxmint/theme.txt"
+