Czy istnieje sposób sprawdzenia, z jakiej czcionki korzysta emulator powłoki / terminalu z wiersza poleceń?

11

Chcę zgodzić się na odczytanie części pliku konfiguracyjnego, jeśli bezpośrednie polecenie nie jest łatwo dostępne.

command-line fonts

— Akiva
źródło

Czy treść cat ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xmlpomocy może być?

— Pandya

7

Opcja Użyj systemowej czcionki o stałej szerokości jest zwykle równa i ustawiana przez org.gnome.desktop.interface.

screen0

Aby uzyskać bieżące ustawienie czcionki, uruchom następujące polecenie:
```
gsettings get org.gnome.desktop.interface monospace-font-name
```
Aby ustawić / zmienić ustawienie, uruchom następujące polecenie (tutaj przykład zwiększenia rozmiaru):
```
gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 14'
```

Gdy uruchamiam powyższe polecenie, zauważyłem zmianę czcionki twojego terminala (większy rozmiar)! Więc gnome-terminalużywając tego ustawienia czcionki.

— Pandya
źródło

Dzięki! Desperacko próbowałem znaleźć „systemową czcionkę o stałej szerokości”, której używa Ubuntu, aby używać jej również w urxvt.

— balu

2

Sprawdź czcionkę terminala:

grep -i "fontface" / etc / default / console-setup

— Andy
źródło

2

Jest już wiele odpowiedzi na temat emulatorów konsoli, więc skupię się tylko na wirtualnej konsoli tty. Możesz zrobić kota /etc/default/console-setupi znaleźć wiersz z napisem FONTFACE. Alternatywnie możeszgrep -n FONTFACE /etc/default/console-setup

Na przykład, oto mój plik instalacyjny konsoli

wprowadź opis zdjęcia tutaj

Aby to zmienić, możesz wykonać sudo dpkg-reconfigure console-setupw tty. Nawiasem mówiąc, to zaktualizuje ustawienia jądra.

— Sergiy Kolodyazhnyy
źródło

Wypróbowałem twoją metodę i wspomniałem o tym fontface="fixed", a odpowiedź @ Pandya dała mi 'Ubuntu Mono 13'.. Zastanawiam się, dlaczego jest różnica?

— alpha_989

1

@ alpha_989 Ponieważ odpowiedź Pandyi dotyczy emulatorów terminala GUI, a moja - wirtualnych konsol TTY. Oba są ważne dla ich odpowiedniego celu.

— Sergiy Kolodyazhnyy

1

Możesz sprawdzić czcionkę terminala gnome za pomocą następującego polecenia

gconftool-2 --get /apps/gnome-terminal/profiles/Default/font

Na przykład używam tego polecenia dla gnome-terminal

 [guru@guru-pc:~]$gconftool-2 --get /apps/gnome-terminal/profiles/Default/font
  Monospace 12

Jeśli chcesz zmienić czcionkę za pomocą wiersza poleceń, możesz użyć następującego polecenia

  gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "courier new 12"

Gdzie 12 to rozmiar czcionki.

— g_p
źródło

W mojej env (16.04.3, plazma, KDE) ta sugestia zawiera błędy No value set for '/apps/gnome-terminal/profiles/Default/font'. Niemniej jednak podążanie za odpowiedzią Pandyi ( gsettingszamiast tego użycie polecenia) faktycznie działa i zwraca czcionkę terminala Gnome.

— arielf

To samo tutaj .. przy użyciu ubuntu 16.04Gnome .. nie wiem, dlaczego to nie zadziałało .. ale Pandya'aodpowiedź zadziałała ..

— alpha_989