mirror of
https://github.com/ryanoasis/nerd-fonts.git
synced 2024-12-19 20:12:52 +02:00
83bd265b32
[why] The shortened name is not as expected "BigBlueTerminal437 Nerd Font" but some obscure "c7 Nerd Font". [how] The backreference marker `\1` is directly in front of the string `437` which yields the replacement `\1437`. Python is not smart enough to correctly handle that (but 'sed' for example is). Instead use a named backreference which does not clash with the following digits. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de> |
||
|---|---|---|
| .. | ||
| scripts | ||