Configuration et utilisation

Si les polices sont disponibles dans les dépôts, il est recommandé d'utiliser le gestionnaire de paquet pour les installer. Sinon il faut copier les fichiers dans le répertoire ~/.local/share/fonts et de regénérer les informations de cache des polices avec la commande suivante :

fc-cache --force --verbose

Pour visualiser les polices disponibles sur mon système, j'utilise gnome-font-viewer. Il affichera l'ensemble des polices disponibles pour l'utilisateur. Celles-ci sont situées soit dans /usr/share/fonts soit dans ~/.local/share/fonts.

• Installer une police le permettant, ici Fira Code,
• Dans la configuration, ajouter le nom de la police dans la liste des polices supportées, ici Fira Code,
• Dans le fichier settings.json, ajouter la propriété editor.fontLigatures avec la valeur true.

Voir Dokuwiki.