sorted by: new top controversial old
[-] mill@reddthat.com 8 points 1 year ago

And if you go just slightly older on Thinkpads, you get real keys.

146
submitted 1 year ago by mill@reddthat.com to c/linux@lemmy.ml

For a long time, I’ve just put on DejaVu fonts and been done with it. Generally good enough Unicode coverage for me. But I know it’s been years since DejaVu’s been updated, and I wonder what’s very common today.

[As for the terminal, I’m guessing it’s usually still the standard fixed Unicode fonts?]

mill

joined 1 year ago