I am puzzled by the zutty terminal emulator. I have tried: 1186 zutty -fontpath /usr/share/fonts/X11/ -fontsize 20 1187 zutty -fontpath /usr/share/fonts/X11/ -font adobe 1190 zutty -fontpath /usr/share/fonts/X11/misc/ -fontsize 20 1191 zutty -fontpath /usr/share/fonts/X11/misc/ -fontsize 24 1192 zutty -fontpath /usr/share/fonts/X11/misc/ -fontsize 12 1193 zutty -font 9x20 1198 zutty -fontsize 10x20 1199 zutty -fontpath /usr/share/fonts/X11/misc/ -fontsize 10x20 1200 zutty -font 10x20
I clearly have fonts: find /usr/share/fonts -print|grep "x20" /usr/share/fonts/X11/misc/10x20-ISO8859-9.pcf.gz /usr/share/fonts/X11/misc/10x20-ISO8859-3.pcf.gz /usr/share/fonts/X11/misc/10x20-ISO8859-11.pcf.gz ... Nothing I have tried works, zutty always uses the same rather small font. https://tomscii.sig7.se/zutty/doc/USAGE.html#Font%20selection Has this package been implemented correctly? aptitude show zutty Package: zutty Version: 0.14.0.20230218+dfsg1-1 cat /etc/issue Debian GNU/Linux 12 \n \l