How to change location of settings.json?

[dmm9]

I am trying to change the standard locations for user and workspace settings from .theia to .myIDE folder. As per CHANGELOG-2020.md, I have created my own EnvVariablesServerImpl. But this only changes the location of the user settings. The workspace settings are still being created under <workspace>/.theia/settings.json. Where can I change this behavior?

[dmm9]

I answer myself. Starting with Theia 1.55:

• User settings location -> either
  • in package.json, theia, backend, config, set configurationFolder
  • set env var THEIA_CONFIG_DIR
• Workspace settings location -> rebind frontend's PreferenceConfigurations, overriding getPaths()