Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
0 points
bigato
7y ago
0 comments
Share
You can change the font in plan9port, you know? The default font looks terrible indeed.
undefined | Better HN
0 comments
default
newest
oldest
hollerith
7y ago
you can change the font, but when I tried that, the text still looked very different from the same font at the same text size in, e.g., Terminal.app.
j
/
k
navigate · click thread line to collapse