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.