Outils pour utilisateurs

Outils du site


dev:installation_police_jetbrains

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
dev:installation_police_jetbrains [2021/12/14 19:09] – ↷ Nom de la page changé de dev:police-jetbrains à dev:installation_police_jetbrains yoanndev:installation_police_jetbrains [2026/10/02 13:48] (Version actuelle) – yoann
Ligne 19: Ligne 19:
   * {{dev:jetbrainsmono-1.0.0.zip}}   * {{dev:jetbrainsmono-1.0.0.zip}}
   * {{dev:jetbrainsmono-2.242.zip}}   * {{dev:jetbrainsmono-2.242.zip}}
 +  * {{jetbrainsmono-2.304.zip}}
  
 Pour installer les polices: Pour installer les polices:
  
-<code>+<code bash>
 # Installation seulement pour l' utilisateur courant  # Installation seulement pour l' utilisateur courant 
  
 unzip JetBrainsMono-1.0.0.zip -d ~/.fonts/  unzip JetBrainsMono-1.0.0.zip -d ~/.fonts/ 
-sudo fc-cache -f -v+fc-cache -f -v
 </code> </code>
  
dev/installation_police_jetbrains.1639508956.txt.gz · Dernière modification : 2021/12/14 19:09 de yoann