Wie in den Kommentaren von Anthony Geoghegan festgestellt, war dies ein Problem des Programms Konsole
. Ich habe festgestellt, dass dies ein bekannter Fehler ist, aber einige Schriftarten sind nicht betroffen. In habe Konsole
ich die Schriftart mit geändert Settings -> Edit current profile -> Appearance
. Die Schrift DejaVu Sans Mono
hat für mich funktioniert.
Danke für die Hilfe in den Kommentaren!
(Ich habe den Teil über das Ändern der Terminal-Schriftart in der ursprünglichen Frage gelöscht, da er nichts mit dem Fehler zu tun hat. Konsole
)