These glyphs have been asked for by issue #22 and #26. People using powerline and git usually have them in the default config, but that breaks in some Windows shells.
This is not as thoroughly tested on all platforms as I would wish, unfortunately.
[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 (i.e. Hack) which is included in Nerd Fonts' repo and patch it into our destination font. Nerd Fonts does not patch these into fonts, usually.
[note]
This PR depends (in fact includes) PR #27. I can not properly separate them because because of github limitations, sorry (or I'm too dump).
These glyphs have been asked for by issue #22 and #26. People using powerline and git usually have them in the default config, but that breaks in some Windows shells.
This is not as thoroughly tested on all platforms as I would wish, unfortunately.
[why] Using powerline with git sometimes needs the glyphs
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
andCmdr
[how] Grab these glyphs from a differnt font (i.e. Hack) which is included in Nerd Fonts' repo and patch it into our destination font. Nerd Fonts does not patch these into fonts, usually.
[note] This PR depends (in fact includes) PR #27. I can not properly separate them because because of github limitations, sorry (or I'm too dump).