J'utilise Ubuntu 18.10 avec dwm. J'ai supprimé presque tous les programmes d'interface graphique fournis par l'environnement de bureau par défaut Gnome. Maintenant, mon système utilise une police que je veux utiliser dans mon terminal, mais pour cela, je dois connaître le nom de la police. Comment puis-je savoir de quelle police il s'agit ?
Voici une démo de la police utilisée par chrome, identique à celle de mon système.
La police utilisée par les applications est souvent sélectionnée non pas directement par son nom, mais parce qu'elle est la première de la liste pour l'option sans-serif alias générique dans votre système (selon les fichiers FontConfig dans /etc/fonts).
$ fc-match sans-serif
$ fc-match -s sans-serif | headEn supposant que vous faites référence à l'option de Chromium chrome et non le document, dans la plupart des distributions Linux, c'est très probablement "DejaVu Sans" (ou quelque chose de proche, par exemple "Bitstream Vera Sans").
$ pango-view --font="DejaVu Sans 10" --text="What font does my system..."SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.
