Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Feature/add more math glyphs #28

Merged
merged 2 commits into from
Feb 11, 2020
Merged

Feature/add more math glyphs #28

merged 2 commits into from
Feb 11, 2020

Commits on Feb 10, 2020

  1. fixup: Use specific Nerd Font release 

    [why]
When Nerd Font evolves and new commits become pulled to master our
scripts might break.

See also warning at
  https://github.com/ryanoasis/nerd-fonts#unstable-file-paths

This is the case here, because Nerd Fonts decided to rename Cascadia
when it patches it. Our subsequent renaming then failes.

[how]
Reference release v2.1.0 as this is master at the moment.
Adapt to output new file name.

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
    @Finii
    Finii committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    154bf34 View commit details
    Browse the repository at this point in the history

  2. Add more math glyphs 

    [why]
Using powerline with git sometimes needs the glyphs
 - 0u2262   not identical to
 - 0u2263   strictly equivalent to

Usually they are provided by other installed fonts and the system's font
rendering mechanism should handle that. But that does not work on some
Windows applications that work as shells like PowerShell and Cmdr

[how]
Grab these glyphs from a differnt font and patch it into our destination
font. Nerd Fonts does not patch these into fonts, usually.

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
    @Finii
    Finii committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    9df161b View commit details
    Browse the repository at this point in the history