C'è un modo per controllare quale font sta usando il tuo emulatore di shell / terminale dalla riga di comando?

11

Sono disposto a sistemare la lettura di parte di un file di configurazione, se un comando diretto non è prontamente disponibile.

command-line fonts

— Akiva
fonte

Possono contenuti cat ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xmldell'aiuto?

— Pandya,

7

L'opzione Usa il carattere a larghezza fissa del sistema è generalmente uguale e impostata da org.gnome.desktop.interface.

Screen0

Per ottenere l'impostazione corrente del carattere, eseguire il comando seguente:
```
gsettings get org.gnome.desktop.interface monospace-font-name
```
Per impostare / modificare l'impostazione, eseguire il comando seguente (qui esempio di aumento della dimensione):
```
gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 14'
```

Mentre corro sopra il comando, ho trovato il carattere del tuo terminale cambiato (dimensioni maggiori)! Quindi, gnome-terminalusando quell'impostazione del font.

— Pandya
fonte

Grazie! Stavo disperatamente cercando di scoprire il "carattere a larghezza fissa del sistema" che Ubuntu usa anche per usarlo in urxvt.

— balu,

2

Controlla il carattere del terminale:

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

— Andy
fonte

2

Ci sono già molte risposte sugli emulatori di console, quindi mi concentrerò solo sulla console virtuale tty. Puoi fare il gatto /etc/default/console-setupe trovare la riga che dice FONTFACE. In alternativa potrestigrep -n FONTFACE /etc/default/console-setup

Ad esempio, ecco il mio file di installazione della console

inserisci qui la descrizione dell'immagine

Per cambiarlo, è possibile eseguire sudo dpkg-reconfigure console-setupin tty. Questo aggiornerà le impostazioni del kernel, comunque.

— Sergiy Kolodyazhnyy
fonte

Ho provato il tuo metodo e ha menzionato fontface="fixed", mentre la risposta di @ Pandya mi ha dato 'Ubuntu Mono 13'.. Mi chiedo perché c'è una differenza?

— alpha_989

1

@ alpha_989 Perché la risposta di Pandya si riferisce agli emulatori di terminali GUI, mentre la mia - alle console virtuali TTY. Entrambi sono validi per i rispettivi scopi.

— Sergiy Kolodyazhnyy il

1

Puoi controllare il font del tuo terminale gnome usando il seguente comando

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

Ad esempio sta usando questo comando per gnome-terminal

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

Se si desidera modificare il carattere utilizzando la riga di comando, è possibile utilizzare il comando seguente

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

Dove 12 è la dimensione del carattere.

— g_p
fonte

Nel mio env (16.04.3, plasma, KDE) questo suggerimento contiene errori No value set for '/apps/gnome-terminal/profiles/Default/font'. Tuttavia, seguire la risposta di Pandya (usando gsettingsinvece il comando) funziona e restituisce il font del terminale Gnome.

— Ariete

Lo stesso qui .. usando ubuntu 16.04Gnome .. non so perché questo non ha funzionato .. ma la Pandya'arisposta ha funzionato ..

— alpha_989