Fini Jastrow 88d63ff827 gotta-patch-em: Correct file type of config files ... [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>		2024-04-22 14:08:28 +02:00
..
scripts	gotta-patch-em: Correct file type of config files	2024-04-22 14:08:28 +02:00