The current behavior of Theia is to ignore a user-defined THEIA_CONFIG_DIR environment variable, which is an unexpected regression from a user's point of view.
This patch ensures that a user-defined value has precedence over the BackendApplicationPath/data/user-data location and the default location ~/.theia.
Fixes #13700
Contributed on behalf of STMicroelectronics
How to test
Set the THEIA_CONFIG_DIR environment variable to a non-default value:
export THEIA_CONFIG_DIR=~/theia-test-data-dir
Start Theia (e.g., yarn browser start)
Confirm that you see a line similar to the following in stdout, indicating that the value you provided in step 1 is used as configuration directory:
What it does
The current behavior of Theia is to ignore a user-defined
THEIA_CONFIG_DIR
environment variable, which is an unexpected regression from a user's point of view.This patch ensures that a user-defined value has precedence over the
BackendApplicationPath/data/user-data
location and the default location~/.theia
.Fixes #13700
Contributed on behalf of STMicroelectronics
How to test
THEIA_CONFIG_DIR
environment variable to a non-default value:export THEIA_CONFIG_DIR=~/theia-test-data-dir
yarn browser start
)Follow-ups
Review checklist
Reminder for reviewers