Update font

4 months ago · 55aef0cada
parent 47a6467e27
commit 55aef0cada
24 changed files with 11 additions and 6 deletions
--- a/common/DejaVuSans.ttf
+++ b/common/DejaVuSans.ttf
--- a/common/dejavu_sans_12.pf2
+++ b/common/dejavu_sans_12.pf2
--- a/common/dejavu_sans_14.pf2
+++ b/common/dejavu_sans_14.pf2
--- a/common/dejavu_sans_16.pf2
+++ b/common/dejavu_sans_16.pf2
--- a/common/dejavu_sans_24.pf2
+++ b/common/dejavu_sans_24.pf2
--- a/common/dejavu_sans_32.pf2
+++ b/common/dejavu_sans_32.pf2
--- a/common/dejavu_sans_48.pf2
+++ b/common/dejavu_sans_48.pf2
--- a/common/makefont.sh
+++ b/common/makefont.sh
@ -0,0 +1,5 @@
+#! /usr/bin/env bash
+
+grub2-mkfont -o unifont-16.pf2 -s 16 unifont.otf
+grub2-mkfont -o unifont-24.pf2 -s 24 unifont.otf
+grub2-mkfont -o unifont-32.pf2 -s 32 unifont.otf
--- a/common/terminal_box_c.png
+++ b/common/terminal_box_c.png
--- a/common/terminal_box_e.png
+++ b/common/terminal_box_e.png
--- a/common/terminal_box_n.png
+++ b/common/terminal_box_n.png
--- a/common/terminal_box_ne.png
+++ b/common/terminal_box_ne.png
--- a/common/terminal_box_nw.png
+++ b/common/terminal_box_nw.png
--- a/common/terminal_box_s.png
+++ b/common/terminal_box_s.png
--- a/common/terminal_box_se.png
+++ b/common/terminal_box_se.png
--- a/common/terminal_box_sw.png
+++ b/common/terminal_box_sw.png
--- a/common/terminal_box_w.png
+++ b/common/terminal_box_w.png
--- a/common/unifont-16.pf2
+++ b/common/unifont-16.pf2
--- a/common/unifont-24.pf2
+++ b/common/unifont-24.pf2
--- a/common/unifont-32.pf2
+++ b/common/unifont-32.pf2
--- a/common/unifont.otf
+++ b/common/unifont.otf
--- a/config/theme-2k.txt
+++ b/config/theme-2k.txt
@ -19,7 +19,7 @@ terminal-border: "0"
  top = 30%
  width = 40%
  height = 40%
-  item_font = "DejaVu Sans Regular 24"
+  item_font = "Unifont Regular 24"
  item_color = "#cccccc"
  selected_item_color = "#ffffff"
  icon_width = 48
@ -48,5 +48,5 @@ terminal-border: "0"
  id = "__timeout__"
  text = "Booting in %d seconds"
  color = "#cccccc"
-  font = "DejaVu Sans Regular 24"
+  font = "Unifont Regular 24"
 }
--- a/config/theme-4k.txt
+++ b/config/theme-4k.txt
@ -19,7 +19,7 @@ terminal-border: "0"
  top = 30%
  width = 40%
  height = 40%
-  item_font = "DejaVu Sans Regular 32"
+  item_font = "Unifont Regular 32"
  item_color = "#cccccc"
  selected_item_color = "#ffffff"
  icon_width = 64
@ -48,5 +48,5 @@ terminal-border: "0"
  id = "__timeout__"
  text = "Booting in %d seconds"
  color = "#cccccc"
-  font = "DejaVu Sans Regular 32"
+  font = "Unifont Regular 32"
 }
--- a/config/theme-ultrawide2k.txt
+++ b/config/theme-ultrawide2k.txt
@ -19,7 +19,7 @@ terminal-border: "0"
  top = 30%
  width = 40%
  height = 40%
-  item_font = "DejaVu Sans Regular 24"
+  item_font = "Unifont Regular 24"
  item_color = "#cccccc"
  selected_item_color = "#ffffff"
  icon_width = 48
@ -48,5 +48,5 @@ terminal-border: "0"
  id = "__timeout__"
  text = "Booting in %d seconds"
  color = "#cccccc"
-  font = "DejaVu Sans Regular 24"
+  font = "Unifont Regular 24"
 }