Blog
Showing posts with tag:
GRUB
-
March 17, 2025
Change default entry on GRUB menu
By default, the first element in the GRUB menu will be selected after the seconds at `GRUB_TIMEOUT`...
-
October 28, 2024
Enable GRUB menu
Sometimes the GRUB menu is hidden by default on boot, you should enable it changing the GRUB configu...
-
October 25, 2024
Add Windows 10 to GRUB OS list
I usually run Ubuntu and Windows on the same computer, in order to be able to select which OS I want...