How to change ~/.theia folder to ~/.customtheia folder

kaizhi · 30 June 2021 04:58

Hi, is there a way to change the configuration directory?
change ~/.theia folder to ~/.customtheia folder.

kaizhi · 30 June 2021 05:04

If multiple theia based software is installed, the configuration file will be messed up.

vince-fugnitto · 1 July 2021 04:06

@kaizhi thank you for the discussion, you can follow the example from theia-blueprint which changes the configuration folder from .theia to .theia-blueprint: https://github.com/eclipse-theia/theia-blueprint/pull/80.

kaizhi · 1 July 2021 04:00

Thanks.

cradke · 6 July 2021 20:38

Thanks @vince-fugnitto! This works fine for changing the global settings directory in the users home dir. But how would we change the workspace specific settings folder that is created in the root of the current workspace? Strangely, I can not find any other occurence of ‘.theia’ anywhere in the code base.

vince-fugnitto · 6 July 2021 23:12

@cradke you’ll likely want to modify the following method, to point towards your custom configuration folder name in a given workspace:

github.com

eclipse-theia/theia/blob/3bd43c98dc5c755de7ae23d3123a32e54096a4a1/packages/core/src/browser/preferences/preference-configurations.ts#L37-L40


/* prefer Theia over VS Code by default */
getPaths(): string[] {
    return ['.theia', '.vscode'];
}

cradke · 7 July 2021 07:55

This worked nicely. Thank you very much!