ee7e22d885
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de> |
||
---|---|---|
.. | ||
Licence.txt | ||
ProggyCleanCENerdFont-Regular.ttf | ||
ProggyCleanCENerdFontMono-Regular.ttf | ||
ProggyCleanCENerdFontPropo-Regular.ttf | ||
README.md |
Proggy Clean
For more information have a look at the upstream website: https://github.com/bluescan/proggyfonts
The ProggyClean.ttf contains the Latin-1 character set (ISO 8859-1 I think).
The ProggyCleanCE.ttf can be used for the Czech language, but I assume it's just Latin-2.
This font is rather old and there seems to be a 2019 update named Proggy Vector. Is there any interest?
Version: 2004/04/15
Which font?
TL;DR
- Pick your font family:
- If you are limited to monospaced fonts (because of your terminal, etc) then pick a font with
Nerd Font Mono
(orNFM
). - If you want to have bigger icons (usually around 1.5 normal letters wide) pick a font without
Mono
i.e.Nerd Font
(orNF
). Most terminals support this, but ymmv. - If you work in a proportional context (GUI elements or edit a presentation etc) pick a font with
Nerd Font Propo
(orNFP
).
- If you are limited to monospaced fonts (because of your terminal, etc) then pick a font with
Ligatures
Ligatures are generally preserved in the patched fonts.
Nerd Fonts v2.0.0
had no ligatures in the Nerd Font Mono
fonts, this has been dropped with v2.1.0
.
If you have a ligature-aware terminal and don't want ligatures you can (usually) disable them in the terminal settings.
Explanation
Once you narrow down your font choice of family (Droid Sans
, Inconsolata
, etc) and style (bold
, italic
, etc) you have 2 main choices:
Option 1: Download already patched font
- For a stable version download a font package from the release page
- Or download the development version from the folders here
Option 2: Patch your own font
- Patch your own variations with the various options provided by the font patcher (i.e. not include all symbols for smaller font size)
For more information see: The FAQ