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

11

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

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

Odpowiedzi:

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