#!/bin/bash EFI_BOOT_DIR="${EFI_BOOT_DIR}"; BOOTLOADER_ID="${BOOTLOADER_ID}"; # Elevate script if [ ! "$UID" -eq 0 ] then sudo \ EFI_BOOT_DIR="${EFI_BOOT_DIR}" \ BOOTLOADER_ID="${BOOTLOADER_ID}" \ bash "$BASH_SOURCE"; else sed -i \ -e "s/#\(GRUB_DISABLE_OS_PROBER\)/\1/" \ `#-e "/^GRUB_CMDLINE_LINUX_DEFAULT=/{"` \ `#-e "h; s/^/#/; p;"` \ `#-e "g; s/loglevel=3 quiet//"` \ `#-e "}"` \ /etc/default/grub; grub-install --target=x86_64-efi --efi-directory="$EFI_BOOT_DIR" --bootloader-id="$BOOTLOADER_ID"; grub-mkconfig -o "$EFI_BOOT_DIR/grub/grub.cfg"; fi;