committing changes in /etc made by "apt-get purge --yes grub2-theme-mint"

Package changes:
-grub2-theme-mint 1.2.2 all

diff --git a/.etckeeper b/.etckeeper
index bf7a25a034250c8650bcf2b307ac8149d58c0160..17b99cd45d6dbad9a3a459f9c6c94b615d6eca73 100755 (executable)
--- a/.etckeeper
+++ b/.etckeeper
@@ -1317,7 +1317,6 @@ 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/grub.d/init-select.cfg'
 maybe chmod 0644 'default/hddtemp'
 maybe chmod 0644 'default/im-config'

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