From 9be6da454abecbc430a2664b87d964c26501bf39 Mon Sep 17 00:00:00 2001 From: Manuel Thalmann Date: Sat, 1 Apr 2023 15:15:15 +0200 Subject: [PATCH] Rename GRUB setup script --- scripts/Software/Arch/GRUB/install.sh | 2 +- scripts/Software/Common/GRUB/{init.sh => setup.sh} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename scripts/Software/Common/GRUB/{init.sh => setup.sh} (100%) diff --git a/scripts/Software/Arch/GRUB/install.sh b/scripts/Software/Arch/GRUB/install.sh index 4b285038..4bc9443f 100755 --- a/scripts/Software/Arch/GRUB/install.sh +++ b/scripts/Software/Arch/GRUB/install.sh @@ -4,6 +4,6 @@ pushd "${BASH_SOURCE%/*}" > /dev/null; EFI_BOOT_DIR="${EFI_BOOT_DIR:-"/boot"}"; BOOTLOADER_ID=${BOOTLOADER_ID:-"GRUB"}; pacman --noconfirm -Syu grub efibootmgr; -. ../../Common/GRUB/init.sh; +. ../../Common/GRUB/setup.sh; popd > /dev/null; diff --git a/scripts/Software/Common/GRUB/init.sh b/scripts/Software/Common/GRUB/setup.sh similarity index 100% rename from scripts/Software/Common/GRUB/init.sh rename to scripts/Software/Common/GRUB/setup.sh