From 6fe6482df6a900d1b4fdd838f6cc7652efb6dcfe Mon Sep 17 00:00:00 2001
From: Frank Brehm <frank@brehm-online.com>
Date: Tue, 21 Jul 2020 12:12:31 +0200
Subject: [PATCH] committing changes in /etc made by "apt-get purge --yes
 grub2-theme-mint"

Package changes:
-grub2-theme-mint 1.2.2 all
---
 .etckeeper                       | 1 -
 default/grub.d/60_mint-theme.cfg | 6 ------
 2 files changed, 7 deletions(-)
 delete mode 100644 default/grub.d/60_mint-theme.cfg

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"
-
-- 
2.39.5