Wie kann ich Standardschriftarten für eine Shell ändern?

4445
Vivek Sharma

Wie kann ich Standardschriftarten für eine Shell ändern? Ist dies dasselbe wie das Ändern von Schriftarten für xTerm? Ich verwende JeOS und würde gerne die Schriftarten ändern, da ich alle Arbeiten im Terminal erledige.

Zweitens würde ich lieber die Schriftarten von XTerm ändern als die von bash. Ich habe vor, auf zsh oder fishshell umzusteigen.

Irgendwelche Empfehlungen für die Schale?

0

2 Antworten auf die Frage

4
pavium

Shells haben keine Zeichensätze, aber das Terminal, auf dem sie ausgeführt werden, hat wahrscheinlich eine.

Ändern Sie die Schriftart für xTerm.

@Vivek, ich habe gezögert, diese Frage zu beantworten, als ich Ihre 0% -Annahmerate in SuperUser sah. Akzeptieren Sie einige weitere hilfreiche Antworten für Ihre anderen Fragen. pavium vor 14 Jahren 3
:) Ich meinte wirklich "füge es direkt in den Kommentarbereich unterhalb der Frage ein", wo der andere Kommentar zu "Perspektive und Sonnenbrille" herumlungert ... akira vor 14 Jahren 0
Ja, aber ich habe diesen Kommentar über Sonnenbrillen gesehen und wollte nicht in die Nähe gehen. pavium vor 14 Jahren 0
2
joe

Zuerst müssen Sie herausfinden, welcher Typ Ihr ​​Terminal ist. Geben Sie "echo $ TERM" aus und wenn ja

vt100, vt200, ansi oder dergleichen

Sie müssen die Schriftart in der von Ihnen verwendeten Terminal-Emulationssoftware ändern (Putty, Hyperterm oder was auch immer).

xterm oder aixterm

Klicken Sie mit der rechten Maustaste in das Fenster, während Sie die ALT-Taste gedrückt halten (oder die STRG-Taste? nicht sicher, probieren Sie es einfach) und wählen Sie im nächsten Menü eine andere Größe aus. Um die von den Menüeinträgen ausgewählten Schriftarten zu ändern (falls Ihnen diese überhaupt nicht gefällt), geben Sie die entsprechende X-Ressourcenzeichenfolge in Ihre Datei "$ HOME / .Xdefaults" ein.

Hier ein Beispiel, in dem dem XTerm-Schriftmenü eine Schrift mit deutschen Diakritischen Zeichen ("Umlaute") hinzugefügt und als "ISO8859-Charset" bezeichnet wird:

Code:

XTerm*VT100*font1: -ibm--medium-r-medium--20-14-100-100-c-90-iso8859-1 XTerm*fontMenu*font1*Label: ISO8859-Charset

dtterm

Wählen Sie einfach "Optionen" aus dem Menü. Um die Änderung dauerhaft zu ändern, ändern Sie die Präferenzen von CDE.

(Quelle)

$ TERM gibt im GUI-Modus xterm und im Terminal-Modus (Strg + Alt + F1) Linux. Ich möchte die Schriftarten ändern (dünnere Schriftarten mit geringerer Auflösung oder etwas anderes, z. B. kurier-neu als Monospace). Vivek Sharma vor 14 Jahren 0

Verwandte Probleme