Fixes #120 - Add grub.cfg path for RedHat on UEFI

pull/124/head
Brent Yang 2 years ago committed by GitHub
parent b853e09987
commit ad0f719c17
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 1
      debi.sh

@ -914,6 +914,7 @@ EOF
# shellcheck disable=SC2016 # shellcheck disable=SC2016
echo 'zz_debi=/etc/default/grub.d/zz-debi.cfg; if [ -f "$zz_debi" ]; then . "$zz_debi"; fi' >> /etc/default/grub echo 'zz_debi=/etc/default/grub.d/zz-debi.cfg; if [ -f "$zz_debi" ]; then . "$zz_debi"; fi' >> /etc/default/grub
grub_cfg=/boot/grub2/grub.cfg grub_cfg=/boot/grub2/grub.cfg
[ -d /sys/firmware/efi ] && grub_cfg=/boot/efi/EFI/*/grub.cfg
grub2-mkconfig -o "$grub_cfg" grub2-mkconfig -o "$grub_cfg"
elif command_exists grub-mkconfig; then elif command_exists grub-mkconfig; then
tmp=$(mktemp) tmp=$(mktemp)

Loading…
Cancel
Save