FreshRSS

🔒
❌ À propos de FreshRSS
Il y a de nouveaux articles disponibles, cliquez pour rafraîchir la page.
À partir d’avant-hierFlux principal

Nerd Fonts – Les meilleurs polices pour les développeurs

19 août 2021 à 09:00
Par : Korben

Les polices de caractères, c’est cool, mais ce n’est pas forcement adapté à tous nos usages de nerds… Parfois, notre police (ou font) préférée manque de certains symboles et ça fait des carrés chelous dans nos terminaux ou nos IDE.

Heureusement, il existe un super projet collaboratif qui s’appelle Nerd Fonts et qui vise à patcher les polices de caractères les plus appréciées des développeurs et autres informaticiens en y ajouter un grand nombre de glyphs (icones) en provenance de projets que vous connaissez tous :

Roboto, Ubuntu, FiraCode, Gohu, Hack, Meslo, Source Code Pro, Terminus, Monoid, Noto, Iosevka et bien d’autres polices très utilisées par les dev subissent ainsi ce traitement, ce patch, qui permet d’étendre les polices existantes.

Alors pour quoi faire me direz-vous ? Et bien pour obtenir des rendus plus cools ou plus complets / utiles dans nos terminaux :

Ainsi, vous pouvez télécharger votre police préférée patché ici, mais sachez que si elle ne s’y trouve pas, vous pouvez également la patcher vous-même à l’aide de l’utilitaire Nerd Fonts Patcher.

❌