18303 shaares
1707 private links
1707 private links
- http://madmalik.github.io/mononoki/ (+1)
- http://font.ubuntu.com/ (mono)
- https://robey.lag.net/2010/06/21/mensch-font.html
- https://dejavu-fonts.github.io/
- http://input.fontbureau.com/
- https://github.com/tonsky/FiraCode
Installer des polices sous Linux :
Généralement, il vous suffit de les copier dans le dossier ~/.fonts et de taper fc-cache -fv.
