From 99445e671bcf54ac2e22b30237ab30d029d2dda9 Mon Sep 17 00:00:00 2001
From: Manuel Thalmann <m@nuth.ch>
Date: Tue, 4 Apr 2023 02:53:21 +0200
Subject: [PATCH] Install minegrub during Arch installation

---
 scripts/Arch/Collections/personal.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/Arch/Collections/personal.sh b/scripts/Arch/Collections/personal.sh
index be5dfec6..a6e41894 100755
--- a/scripts/Arch/Collections/personal.sh
+++ b/scripts/Arch/Collections/personal.sh
@@ -3,4 +3,7 @@ pushd "${BASH_SOURCE%/*}" > /dev/null;
 
 . "../Software/yay/install.sh";
 
+# GRUB Shenanigans
+. "../Software/minegrub-theme/install.sh";
+
 popd > /dev/null;