kursivschrift in gnome-terminal deaktivieren

420
musarithmia

ich benutze gnome-terminal auf Debian 8 mit Source Code Pro Regularals Schriftart (die Schriftart wird mit der TeXLive-Distribution geliefert).

Wie kann ich die Verwendung von Kursivschrift im Terminal universell deaktivieren?

Ein Grund dafür: Beim Durchsuchen einer manSeite werden die Suchergebnisse kursiv hervorgehoben, was für mich schwer zu erkennen ist.

0

1 Antwort auf die Frage

1
egmont

gnome-terminalhat keine solche Option. Sie können die Quelle anpassen (tatsächlich vte), oder fontconfigso konfigurieren, dass die kursive Version der ausgewählten Schriftart nicht kursiv ist, oder Ihren manViewer so konfigurieren, dass er lesskeine Kursivschrift verwendet.

Verwandte Probleme