deaktiviere die kursive Schrift in gnome-terminal


0

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.

Antworten:


1

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.

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.