Existe-t-il un moyen de vérifier quelle police votre émulateur shell / terminal utilise à partir de la ligne de commande?

11

Existe-t-il un moyen de vérifier quelle police votre émulateur shell / terminal utilise à partir de la ligne de commande?

Je suis disposé à régler la lecture d'une partie d'un fichier de configuration, si une commande directe n'est pas facilement disponible.

command-line fonts Akiva
la source
Peut contenu de l' cat ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xmlaide?
Pandya

Réponses:

7

L'option Utiliser la police à largeur fixe du système est généralement égale et définie par org.gnome.desktop.interface.

screen0

  • Pour obtenir le paramètre de police actuel, exécutez la commande suivante:

    gsettings get org.gnome.desktop.interface monospace-font-name

  • Pour définir / modifier le paramètre, exécutez la commande suivante (ici un exemple d'augmentation de la taille):

    gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 14'

En exécutant la commande ci-dessus, j'ai trouvé la police de votre terminal changée (taille augmentée)! Donc, en gnome-terminalutilisant ce paramètre de police.

Pandya
la source
Merci! J'essayais désespérément de découvrir la "police à largeur fixe système" qu'Ubuntu utilise pour l'utiliser également dans urxvt.
balu
2

Vérifiez la police du terminal:

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

Andy
la source
2

Il existe déjà de nombreuses réponses sur les émulateurs de console, donc je me concentrerai uniquement sur la console virtuelle tty. Vous pouvez faire chat /etc/default/console-setupet trouver la ligne disant FONTFACE. Vous pouvez égalementgrep -n FONTFACE /etc/default/console-setup

Par exemple, voici mon fichier de configuration de console

entrez la description de l'image ici

Pour le changer, vous pouvez exécuter sudo dpkg-reconfigure console-setupen tty. Soit dit en passant, cela mettra à jour les paramètres du noyau.

Sergiy Kolodyazhnyy
la source
J'ai essayé votre méthode et elle l'a mentionné fontface="fixed", tandis que la réponse de @ Pandya m'a donné 'Ubuntu Mono 13'.. Je me demande pourquoi il y a une différence?
alpha_989
1
@ alpha_989 Parce que la réponse de Pandya concerne les émulateurs de terminaux GUI, tandis que la mienne - les consoles virtuelles TTY. Les deux sont valables pour leur objectif respectif.
Sergiy Kolodyazhnyy
1

Vous pouvez vérifier votre police de terminal gnome en utilisant la commande suivante

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

Par exemple, il utilise cette commande pour gnome-terminal

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

Si vous souhaitez modifier la police à l'aide de la ligne de commande, vous pouvez utiliser la commande suivante 

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

Où 12 est la taille de la police.

g_p
la source
Dans mon env (16.04.3, plasma, KDE), cette suggestion contient des erreurs No value set for '/apps/gnome-terminal/profiles/Default/font'. Néanmoins, suivre la réponse de Pandya (en utilisant la gsettingscommande à la place) fonctionne et retourne la police du terminal Gnome.
arielf
Même chose ici .. en utilisant ubuntu 16.04Gnome .. Pandya'a
je