From 888e74303f1c4c9a60e2c9dbb56021389ed4b20f Mon Sep 17 00:00:00 2001 From: Eric Hameleers Date: Sun, 17 Sep 2023 21:51:34 +0200 Subject: UEFI boot: let's give GRUB some more font sizes to work with --- grub.tpl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/grub.tpl b/grub.tpl index 4d12c03..d87c50b 100644 --- a/grub.tpl +++ b/grub.tpl @@ -31,6 +31,8 @@ fi # Determine whether we can show a graphical themed menu: insmod font if loadfont $prefix/theme/dejavusansmono12.pf2 ; then + loadfont $prefix/theme/dejavusansmono24.pf2 + loadfont $prefix/theme/dejavusansmono20.pf2 loadfont $prefix/theme/dejavusansmono10.pf2 loadfont $prefix/theme/dejavusansmono5.pf2 set gfxmode=1024x768,800x600,640x480,auto -- cgit v1.2.3