Hi, Thanks for your report!
Le 29/09/2024, George at Clug <c...@goproject.info> a écrit: > # grub-mkconfig -o /boot/grub/grub.cfg > https://averagelinuxuser.com/dual-boot-arch-linux-with-linux/ Alternatively, you could have used a simple 'update-grub' because: $ cat $(which update-grub) #!/bin/sh set -e exec grub-mkconfig -o /boot/grub/grub.cfg "$@" $ (This use of 'set -e' is funny.) Regards -- Florent
