fonts/nerd-fonts
1
0
Fork 0
mirror of https://github.com/ryanoasis/nerd-fonts.git synced 2024-12-19 20:12:52 +02:00
Code Issues Releases Activity
758307300b
nerd-fonts/patched-fonts/Hasklig/Medium
History
Finii e984b63dca [ci] Rebuild patched fonts
2023-11-26 17:52:22 +00:00
..
HasklugNerdFont-Medium.otf [ci] Rebuild patched fonts 2023-11-26 17:52:22 +00:00
HasklugNerdFontMono-Medium.otf [ci] Rebuild patched fonts 2023-11-26 17:52:22 +00:00
HasklugNerdFontPropo-Medium.otf [ci] Rebuild patched fonts 2023-11-26 17:52:22 +00:00
LICENSE.md Rebuild patched fonts (manually) [skip ci] 2023-04-30 17:27:13 +02:00
README.md Update READMEs 2023-04-30 21:05:46 +02:00

README.md

Hasklig

Font with ligatures for programming (in Haskell) forked from Source Code Pro.

For more information have a look at the upstream website: https://github.com/i-tu/Hasklig

Version: 1.2

Why Hasklug and not Hasklig?

What's in a name? The reason for the name change is to comply with the SIL Open Font License (OFL), in particular the Reserved Font Name mechanism

Some fonts have parts of their name "reserved" per the Reserved Font Name mechanism:

No Modified Version of the Font Software may use the Reserved Font Name(s) unless explicit written permission is granted by the corresponding Copyright Holder. This restriction only applies to the primary font name as presented to the users.

  • The main goals seem to be to: Avoid collisions, Protect authors, Minimize support, and Encourage derivatives

See the Reserved Font Name section for additional information

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 (or NFM).
    • If you want to have bigger icons (usually around 1.5 normal letters wide) pick a font without Mono i.e. Nerd Font (or NF). 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 (or NFP).

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