Comment vérifier quelle police le système utilise?

4

Existe-t-il une commande de terminal qui me permette de voir quelle police est utilisée dans une fenêtre de terminal Linux?

linux terminal fonts utilisateur1301428
la source
Cela dépend du terminal que vous utilisez et peut-être aussi de la distribution. Pourriez-vous nous donner plus d'informations à ce sujet?
Wullxz
Bien sûr: pour le moment, j'utilise le terminal par défaut sur Arch Linux. Je pensais qu'il y avait peut-être une commande standard, indépendante de la
distro
@ user1301428 Il n'y a pas de "terminal par défaut" sous Arch Linux (à moins que vous ne parliez de la console Linux). Quel environnement de bureau utilisez-vous?
Aluísio ASG
Si vous utilisez un terminal graphique, vous pouvez sûrement trouver une entrée de menu appelée Help -> Aboutoù vous pouvez éventuellement trouver le nom de votre application de terminal. Ou voulez-vous dire les terminaux accessibles via STRG + ALT + 1-6?
Wullxz
@ AluísioA.SG oui, désolé, j'étais fatigué: je veux dire la console Linux. Je n'utilise actuellement pas d'environnement de bureau ni de gestionnaire de fenêtres.
user1301428

Réponses:

1

Sous GNOME, je peux imprimer la liste de mes profils gnome-terminal à l'aide de la commande suivante:

$ gconftool-2 --get /apps/gnome-terminal/global/profile_list
[Default,Profile0]

Ensuite, je peux imprimer les paramètres de police avec:

$ gconftool-2 --get /apps/gnome-terminal/profiles/Default/font
Monospace 12
$ gconftool-2 --get /apps/gnome-terminal/profiles/Profile0/font
TakaoMincho Bold 36
Nykakin
la source
Existe-t-il une commande indépendante de DE?
user1301428