Wie ändere ich die Terminalschriftart unter Ubuntu MATE?
Es scheint, als gäbe es in MATE zwei Terminals. Eines ist „MATE Terminal“, das eine gut lesbare Schriftart hat, und das andere wird verwendet, wenn ich eine im GUI-Menü erstellte App starte.
Wie ändere ich es?
Screenshot des Terminals, das ich ändern möchte
Antwort1
Was Sie haben, ist ein Fehler in GLib, das von Gnome-Entwicklern gepflegt wird. Sie haben eine Reihe von Terminalemulatoren fest codiert, die für diese Starter ausprobiert werden sollen, und in dieser Liste mate-terminalist nicht enthalten. Sogar konsoleist xfce4-terminalausgeschlossen.
Hier ist der Fehlerbericht auf GitHubhttps://github.com/mate-desktop/mate-panel/issues/57
Lesen Sie die Zusammenfassung von MoonSweep
Um es zusammenzufassen:
Im Gegensatz zu dem, was am Anfang dieses Threads gesagt wurde, ist dies kein Mint-spezifisches Problem und hat nichts mit der Variable TERM zu tun. Dies ist ein bekannter Fehler von GLib, das einen fest codierten Satz von Terminals zum Starten hat, und einige davon fehlen in dieser Liste (nicht nur mate-terminal, sondern beispielsweise auch xfce-terminal oder konsole fehlen).
Da ich weiß, dass die Gnome-Leute nichts außerhalb von Gnome mitbekommen, denke ich, dass es keinen Sinn hat, sie zu bitten, dieses Problem in GLib zu beheben. Deshalb habe ich einen Patch für Mate-Terminal erstellt und ihn im Debian BTS gepostet. Als das Mate-Terminal-Paket dann begann, einen mit xterm kompatiblen Wrapper bereitzustellen, habe ich den Patch aktualisiert, um X-Terminal-Emulator (eine Debian-Alternative für alle mit xterm kompatiblen Terminalemulatoren) zu handhaben. Dadurch kann GLib in Debian (und Derivaten) nicht nur Mate-Terminal, sondern alle Terminals handhaben, die als diese Alternative festgelegt werden können.
Was kannst du tun?
Bei meinem Test habe ich festgestellt, dass gnome-terminales nach der Installation zuerst dieses versucht. Um also hässliche Dinge zu vermeiden xterm, können Sie etwas installieren gnome-terminal, das Mate-Terminal sehr ähnlich ist und standardmäßig in Ubuntu Unity enthalten ist.
Zur Installation verwenden Sie diesen Befehl
sudo apt-get install gnome-terminal
Bei mir hat es das Problem behoben. Probieren Sie es aus. Ich hoffe, es funktioniert auch bei Ihnen!