Configuration folder cannot be changed to something other than ".theia"?

[Geeksfino]

I am using 1.61.0 and following exactly the setup guide to setup a skeleton theia project, and trying to put the following into package.json, specifically by configuring the application name as "MyIDE" and the configuration folder as ".my_ide". Strangely the application name never takes effect and the configuration folder, though in effect, causing problems with extensions. For example, I installed the "Markdown Editor" extension. When using it to try to display a markdown file, the IDE will show "Current file language is not markdown, got plaintext". However, if I set the configuration folder back to the default ".theia", everything works.

Couldn't figure out why. Any help is greatly appreciated.

"theia": { "target": "electron", "frontend": { "config": { "applicationName": "MyIDE" } }, "backend": { "config": { "configurationFolder": ".my_ide" } } }

[msujew]

Hey @Geeksfino,

I couldn't quite reproduce this with the example repo. I've tried applying your theia config, but received a different result:

1. The application name is correctly applied.
2. The configuration folder is correctly applied.
3. The mentioned extension works as expected for me.

Have you correctly rebuild the whole application after adjusting the package.json? Specifically running theia build?

[Geeksfino]

Thanks for the reply. I observed carefully what happened repeatedly but at this moment I think it is fixed, though I still don't understand the cause. I was behind a specific VPN and I set HTTPS_PROXY env var. With this setup, weird things happened - such as when running the IDE in a browser and if there are any extensions in ~/.theia, it would run into infinite loop of errors like the following (the garbled texts are not corrupted encoding due to cut-n-paste, they are indeed the console log from Theia):

at http://127.0.0.1:8005/vendors-node_modules_theia_notebook_lib_common_index_js-node_modules_theia_plugin-ext_lib_com-c8361e.js:1417:49�<MessageStart> ���r@��type�id�method�args�'��$log��LoggerMain�plugin-hostٜPromise rejection not handled in one second: Error: no local service handler with id LoggerMain , reason: Error: no local service handler with id LoggerMain�� � �r@��type�id�method�args�'��$log��LoggerMain�plugin-host�SWith stack trace: Error: no local service handler with id LoggerMain at RPCProtocolImpl.handleRequest (http://127.0.0.1:8005/vendors-node_modules_theia_notebook_lib_common_index_js-node_modules_theia_plugin-ext_lib_com-c8361e.js:1331:19) at RpcProtocol.requestHandler (http://127.0.0.1:8005/vendors-node_modules_theia_notebook_lib_common_index_js-node_modules_theia_plugin-ext_lib_com-c8361e.js:1315:96) at RpcProtocol.handleRequest (http://127.0.0.1:8005/bundle.js:65484:39) at RpcProtocol.handleMessage (http://127.0.0.1:8005/bundle.js:65371:26) at http://127.0.0.1:8005/bundle.js:65357:66 at http://127.0.0.1:8005/bundle.js:61780:69 at CallbackList.invoke (http://127.0.0.1:8005/bundle.js:61786:26) at Emitter.fire (http://127.0.0.1:8005/bundle.js:61901:36) at BatchingChannel.handleMessages (http://127.0.0.1:8005/vendors-node_modules_theia_notebook_lib_common_index_js-node_modules_theia_plugin-ext_lib_com-c8361e.js:1462:39) at http://127.0.0.1:8005/vendors-node_modules_theia_notebook_lib_common_index_js-node_modules_theia_plugin-ext_lib_com-c8361e.js:1417:49����r@��type�id�method�args�'��$log��LoggerMain�plugin-hostٜPromise rejection not handled in one second: Error: no local service handler with id LoggerMain , reason: Error: no local service handler with id LoggerMain�� � �r@��type�id�method�args�'��$log��LoggerMain�plugin-host�SWith stack trace: Error: no local service handler with id LoggerMain at RPCProtocolImpl.handleRequest (http://127.0.0.1:8005/vendors-node_modules_theia_notebook_lib_common_index_js-node_modules_theia_plugin-ext_lib_com-c8361e.js:1331:19) at RpcProtocol.requestHandler (http://127.0.0.1:8005/vendors-node_modules_theia_notebook_lib_common_index_js-node_modules_theia_plugin-ext_lib_com-c8361e.js:1315:96) at RpcProtocol.handleRequest (http://127.0.0.1:8005/bundle.js:65484:39) at RpcProtocol.handleMessage (http://127.0.0.1:8005/bundle.js:65371:26) at http://127.0.0.1:8005/bundle.js:65357:66 at http://127.0.0.1:8005/bundle.js:61780:69 at CallbackList.invoke (http://127.0.0.1:8005/bundle.js:61786:26) at Emitter.fire (http://127.0.0.1:8005/bundle.js:61901:36)

And when changing the config folder from the default "/.theia" to "/.my_ide" it simply cannot recognize any installed vscode extensions. For example, I tried to use "Markdown Editor" to do WYSIWYG on a markdown file and it complains that the file is not in markdown language, but in plaintext.

Ultimately I unset the VPN HTTPS_PROXY env var and things seem to work - I can point to a different config folder other than the default ".theia", and the extensions seem to be working.

This problem can be repeated 100% in my env. Can't quite make sense out of it, in case you have an explanation to share, would be greate to learn.