Ich versuche, Roboto Mono als Schriftart auf meinem Bash-Terminal in Linux Mint 19.1 zu installieren – und die Option zum Anpassen von Schriftarten Edit -> Preferences -> Custom Fonterlaubt mir anscheinend nicht, eine neue Schriftart anzugeben, die nicht vorinstalliert ist.
Liegt das daran, dass das Terminal die Verwendung von TTF-Schriftarten als benutzerdefinierte Schriftart nicht zulässt, oder gibt es dafür eine Problemumgehung?
Danke!
Antwort1
Es liegt vermutlich nicht daran, ob eine Schriftart vorinstalliert ist oder nicht.
GNOME Terminal bietet Ihnen im Dialogfeld „Einstellungen“ nur Monospace-Schriftarten zur Auswahl. Sie können jedoch jede beliebige Schriftart in auswählen dconf-editor. Navigieren Sie zu /org/gnome/terminal/legacy/profiles:gefolgt von der Profil-ID und legen Sie sie dann unter fest font.
Es bedarf offenbar weiterer Untersuchung, warum Roboto Mono nicht als Monospace-Schriftart angesehen wird.