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

11

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
source

Peut contenu de l' cat ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xmlaide?

— Pandya

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
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
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
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
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