Nerd Fonts - Les meilleurs polices pour les développeurs
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 :
- Powerline Extra Symbols
- Font Awesome
- Font Awesome Extension
- Material Design Icons
- Weather Icons
- Devicons
- Octicons
- Font Logos (Formerly Font Linux)
- Pomicons
- IEC Power Symbols
- Seti-UI + Custom
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.