diff options
| -rwxr-xr-x | install-artix.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/install-artix.sh b/install-artix.sh index 2f46139..5e3c25a 100755 --- a/install-artix.sh +++ b/install-artix.sh @@ -305,6 +305,11 @@ if [[ "${encrypt}" == true ]]; then -i /mnt/etc/default/grub fi +# Detect other OS in GRUB +if [[ $duel_boot == true ]]; then + echo "GRUB_DISABLE_OS_PROBER=false" >> /mnt/etc/default/grub +fi + # install grub if [[ $firmware == uefi ]]; then grub_options="--target=x86_64-efi --efi-directory=/boot --bootloader-id=GRUB" |