themactep.com

A home of miscellaneous projects by Paul Philippov.

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