Where can I find docs for configuration files? #359

Activity

1. DeusData

   added

   questionFurther information is requestedFurther information is requested

   documentationImprovements or additions to documentationImprovements or additions to documentation

   on May 30, 2026
2. DeusData commented on Jun 12, 2026

   

   DeusData

   on Jun 12, 2026

   Owner

   More actions

   Fair point — configuration documentation is currently thin. Will get a proper config reference written; thanks for flagging.
3. Bortlesboat commented on Jun 17, 2026

   

   Bortlesboat

   on Jun 17, 2026

   Contributor

   More actions

   I’m taking a pass at this today with a focused docs PR covering the config files that already exist (global/project extra-extensions JSON, cache-dir UI config, and the CLI-managed settings surfaced by config list).
4. Ilyes512 commented on Jun 20, 2026

   

   Ilyes512

   on Jun 20, 2026

   Last edited by Ilyes512

   More actions

   I was also wandering with a config like extra_extensions then there must also be a list of some kind of already configured extensions to language. How do I find out that I should even add:

   {
     "extra_extensions": {
       ".blade.php": "php"
     }
   }

   Perhaps this is already the case? And what languages are supported? This last one could be solved with a json schema.

   edit: I see the list of languages have been added in P #487. But still I think a json schema would solve this nicely as well.
5. DeusData

   added

   priority/backlogValuable contribution, lower scheduling urgency; review when maintainer capacity opens.Valuable contribution, lower scheduling urgency; review when maintainer capacity opens.

   on Jul 1, 2026
6. DeusData

   added a commit that references this issue on Jul 4, 2026

   docs(config): document extra_extensions values and skip behavior

   ...

   40d0d45
7. DeusData

   closed this as completedin #487on Jul 4, 2026