commit 75af84d84298fd66a1245f83928bded4fbd51851 parent 89f307f17e1efb499a35eabc1642ad9e326a75a7 Author: Jacob R. Edwards <jacob@jacobedwards.org> Date: Sat, 5 Oct 2024 21:39:01 -0700 Change plan9port font to euro8 I find this to be a reasonably attractive font. Diffstat:
| M | local/ksh/.profile | | | 6 | +++--- |
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/local/ksh/.profile b/local/ksh/.profile @@ -34,10 +34,10 @@ if test -d /usr/local/plan9 then PLAN9=/usr/local/plan9 PATH="$PATH":"$PLAN9"/bin - font="$PLAN9"/font/fixed/unicode.7x13.font - - # More attractive, but not uniform with unicode + #font="$PLAN9"/font/fixed/unicode.7x13.font + # More attractive than the last, but not uniform with unicode #font="$PLAN9"/font/misc/unicode.6x13.font + font="/usr/local/plan9/font/lucsans/euro.8.font" fi ENV="$XDG_CONFIG_HOME/kshrc"