mirror of
1
0
Fork 0

Remove references to old font patcher tool

This commit is contained in:
John Krull 2018-10-22 12:35:56 -05:00 committed by Gregory Pakosz
parent ba3d5e169e
commit bfc7321f17
1 changed files with 0 additions and 4 deletions

View File

@ -208,14 +208,10 @@ To make use of these symbols, there are several options:
- use your preferred font along with the [Powerline font][powerline font] (that
only contains the Powerline symbols): [this highly depends on your operating
system and your terminal emulator][terminal support]
- [patch your preferred font][powerline font patcher] by adding the missing
Powerline symbols: this is the most difficult way and is no more documented in
the [Powerline manual]
[source code pro]: https://github.com/adobe-fonts/source-code-pro/releases/tag/2.030R-ro/1.050R-it
[powerline patched fonts]: https://github.com/powerline/fonts
[powerline font]: https://github.com/powerline/powerline/raw/develop/font/PowerlineSymbols.otf
[powerline font patcher]: https://github.com/powerline/fontpatcher
[terminal support]: http://powerline.readthedocs.io/en/master/usage.html#usage-terminal-emulators
[Powerline manual]: http://powerline.readthedocs.org/en/latest/installation.html#fonts-installation