mirror of
https://github.com/ryanoasis/nerd-fonts.git
synced 2025-01-25 03:32:02 +02:00
88d63ff827
[why] The config files are called `config.json` while the contents is INI-like. The usual extension would be `.cfg`. [how] We use `.cfg` already for the shell variable configuration. Combine both config file variants into one (real) cfg file, that is directly read by the font-patcher and no shell variables files are used anymore. This needs some rewrite in gotta-patch-em to get the quoting right. To make this simpler we remove the `--debug 1` option from the variable and insert it directly (as it is applied always anyhow). Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
10 lines
376 B
INI
10 lines
376 B
INI
# These config files are read by the font-patcher
|
|
# They are INI style files, but some keys have JSON values
|
|
[Config]
|
|
commandline: --removeligatures --makegroups 2
|
|
[Subtables]
|
|
ligatures: [
|
|
"'dlig' Discretionary Ligatures lookup 9 subtable",
|
|
"'dlig' Discretionary Ligatures lookup 11 subtable",
|
|
"'dlig' Discretionary Ligatures lookup 12 contextual 0" ]
|