ref: 0a6d0e60f60dab4695a233095904f79e6626317b
parent: a471614b7fddaa118df7440802d330f697151dde
author: sl <sl@habu>
date: Sun Dec 14 01:47:17 EST 2025
profile: use different fonts for different vertical resolutaions.
--- a/profile
+++ b/profile
@@ -1,4 +1,4 @@
-# 2025-07-12T20:41:48-04:00
+# 2025-12-14T01:46:44-05:00
DISPLAY=:0
aiju=(◔ ◡ ◔)
d00d=0xd00000000000000d
@@ -18,16 +18,13 @@
scr=(`{cat /dev/draw/new >[2]/dev/null})w=$scr(11)
h=$scr(12)
-switch($w){-case 28*
+switch($h){+case 2*
font=/lib/font/contrib.bit/hugevga/unicode.font
-case 21* 22* 25*
- #font=/lib/font/contrib.bit/kurinto/kurinto.18.mono.font
- #font=/lib/font/contrib.bit/gallant/unicode.22.font
- #font=/lib/font/bit/fixed/unicode.10x20.font
- #font=/lib/font/bit/lucida/unicode.10.font
- #font=/lib/font/bit/lucidasans/unicode.10.font
+case 1504
font=/lib/font/bit/pelm/unicode.12.font
+case 1440
+ font=/lib/font/bit/lucidasans/unicode.10.font
case *
font=/lib/font/bit/vga/unicode.font
}
--
⑨