diff options
| author | Blake Romero <blake@blkrom.com> | 2024-04-03 00:27:21 +0100 |
|---|---|---|
| committer | Blake Romero <blake@blkrom.com> | 2024-04-03 00:27:21 +0100 |
| commit | d8d3d2036581d3663eba7b8a6373c35e3257a6a3 (patch) | |
| tree | 90e9caad94bf927842cabb26f5f527af8a9ce500 | |
| parent | a4cfddb1986aa6fb110a998090c743f3c2f776b4 (diff) | |
Enable detection of other operating systems in GRUB
| -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" |