Blog: 2023-12-18
Jump to navigation
Jump to search
Using this article to change grub font size: https://www.baeldung.com/linux/grub-menu-font-size
Using this article to change grub font size: https://www.baeldung.com/linux/grub-menu-font-size