5 Commits

Author	SHA1	Message	Date
Stefan Haller	0cc6e39f0f	Filter out [dev] comments earlier ... Previously we only filtered them out from the example config section in Config.md, but they still appeared in the schema. This is not ideal, because the schema descriptions can appear in editors on mouse hover or in auto-completions. So filter them out earlier, so that they don't appear in the schema either.	2025-02-25 11:42:47 +01:00
Karim Khaleel	30e9bf8a75	Use refs in jsonschema userconfig generator ... This makes it possible to use recursive structures in the user config.	2025-02-23 20:55:28 +01:00
Stefan Haller	10db72d223	Let schema/config.json end with a line feed ... Some editors add one automatically when saving the file, which causes confusion and ugly diffs containing `\ No newline at end of file`.	2024-11-30 15:03:29 +01:00
Stefan Haller	4bfda1a78c	Fix boolean config keys not appearing in the generated Config.md ... The reason why they didn't appear is that they didn't get a default value in the generated schema; this commit fixes that.	2024-05-31 20:07:58 +02:00
Karim Khaleel	1a035db4c8	Add UserConfig jsonschema generation script	2023-12-02 10:46:24 +01:00