todo: Add how to scale fonts in GRUB menu

pmenzel · Nov 6, 2023 · c15d864 · c15d864
1 parent dec2413
commit c15d864
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/todo.md b/todo.md
@@ -16,3 +16,9 @@ Use Ansible to do the things below:
 1.  Replace GRUB with Linux EFI stub
 1.  Encrypt full disk including root
     a)  [Full disk encryption (including boot) on Debian](https://www.dwarmstrong.org/fde-debian/)
+1.  Bigger font in GRUB
+    a)  `sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSansMono48.pf2 --size=48 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf`
+    a)  In `/etc/default/grub`:
+
+            GRUB_GFXPAYLOAD=keep
+            GRUB_FONT=/boot/grub/fonts/DejaVuSansMono48.pf2