From 76fce58ec68a0dffff48717debe18544456c89cb Mon Sep 17 00:00:00 2001
From: Manuel Thalmann <m@nuth.ch>
Date: Tue, 16 Jul 2024 23:35:12 +0200
Subject: [PATCH] Enable minegrub theme by default

---
 scripts/Common/Software/minegrub-theme/main.fish | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/Common/Software/minegrub-theme/main.fish b/scripts/Common/Software/minegrub-theme/main.fish
index d5b671f9..154ccb3a 100644
--- a/scripts/Common/Software/minegrub-theme/main.fish
+++ b/scripts/Common/Software/minegrub-theme/main.fish
@@ -4,6 +4,10 @@ begin
     source "$dir/../../Scripts/software.fish"
 
     function configureSW -V dir
+        sudo sed -i \
+            "s/^#\?\(GRUB_THEME=\).*$/\1\"\/usr\/share\/grub\/themes\/minegrub\/minegrub\/theme.txt\"/" \
+            /etc/default/grub
+
         source "$dir/../GRUB/main.fish" configure
     end