ubuntu18.04 modifier la police vscode

"Fichier - Préférences - Paramètres" ouvre la page Paramètres:

Pour modifier simplement la taille de la police, vous pouvez changer la taille de la police pour une taille plus grande (18 sur la page)

Si vous souhaitez modifier le style de police, cliquez sur "Modifier dans settings.json":

"editor.fontFamily": "Fira Code",//后边的引号中写上要设置的字体类型，个人比较喜欢Fira Code
  "editor.fontLigatures": true,//这个控制是否启用字体连字，true启用，false不启用，这里选择启用
    "editor.fontSize": 18,//设置字体大小，这个不多说都明白
  "editor.fontWeight": "normal",//这个设置字体粗细，可选normal,bold,"100"~"900"等，选择合适的就行

 En fait, le problème réside dans la police Fira Code, car cette machine ne l'a peut-être pas et doit être téléchargée:

git clone https://github.com/tonsky/FiraCode.git

 Vous pouvez également le télécharger ici: Police FiraCode

Après le téléchargement, il y a plusieurs fichiers ttf dans le répertoire FiraCode / distr / ttf:

Fichier ttf double saison, ouvrez la boîte d'installation, installez-la.

Redémarrez vscode, la modification est réussie.