deaktiviere die kursive Schrift in gnome-terminal

Ich benutze gnome-terminalauf Debian 8 mit Source Code Pro Regularals Schriftart (die Schriftart kommt mit der TeXLive-Distribution).

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

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

gnome-terminalhat keine solche Option. Sie können den Quellcode (tatsächlich vte) optimieren oder fontconfigso konfigurieren , dass die kursive Version der ausgewählten Schriftart nicht kursiv ist, oder Ihren manViewer (z. B. less) so konfigurieren , dass Kursivschrift nicht verwendet wird.