From: Frank Brehm <frank@brehm-online.com>
Date: Tue, 21 Jul 2020 10:12:31 +0000 (+0200)
Subject: committing changes in /etc made by "apt-get purge --yes grub2-theme-mint"
X-Git-Url: https://git.uhu-banane.org/?a=commitdiff_plain;h=6fe6482df6a900d1b4fdd838f6cc7652efb6dcfe;p=config%2Fbruni%2Fetc-mint-new1.git

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 bf7a25a..17b99cd 100755
--- 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
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"
-