Sirgazil,

sirgazil 写道:
Maybe there is a bug with the defaults (at least with the spacing)?

Yes, although the spacing is simply a side-effect of a bad or missing default font. This is what variable-width (proportional) fonts look like when rendered as fixed-width (monospace) cells.

If you're lucky, GNOME is innocent, and a stale fontconfig cache is to blame.

1. Does /var/cache/fontconfig exist? If so, remove it (you'll probably need sudo)
2. Regardless of step 1: run ‘fc-cache -r’ (without sudo) and
3. Open a new terminal[0]
4. …profit?

Kind regards,

T G-R

[0]: I don't know whether GNOME terminal tries to be clever by opening new windows in the same process, so do make sure you're actually starting a fresh instance.

Attachment: signature.asc
Description: PGP signature

Reply via email to