Notes Homepage Notes How to force grub to generate entries for other operating systems sudo -s echo "GRUB_DISABLE_OS_PROBER=false" | tee -a /etc/default/grub update-grub