From d9e2bb822c38f02ea1e077bad1571be656a8f090 Mon Sep 17 00:00:00 2001
From: simono41 <simono41>
Date: Mon, 13 Aug 2018 14:41:14 +0200
Subject: [PATCH] rename_grub

---
 arch-install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arch-install b/arch-install
index 5a3cfee..0dc625f 100755
--- a/arch-install
+++ b/arch-install
@@ -552,6 +552,7 @@ function installation {
 }
 
 function grubinstall() {
+  sed -i 's/GRUB_DISTRIBUTOR=.*$/GRUB_DISTRIBUTOR="${repo}"/' ${mountpoint}/etc/default/grub
   sed -i 's/GRUB_CMDLINE_LINUX_DEFAULT=.*$/GRUB_CMDLINE_LINUX_DEFAULT="splash"/' ${mountpoint}/etc/default/grub
   if [ "${verschluesselung}" == "y" ]; then
     if [ "${boot}" == "grub" ]; then