Richmond
2024-05-01 12:10:01 UTC
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
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