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

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

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
source

Existe-t-il une commande indépendante de DE?

— user1301428