Debug module issue

I created a .theia/launch.json by clicking the Add Configuration... button on the Run menu:

Then I deleted the .theia folder manaually and closed the editor:

But I got this error on the console when I click the Add Configuration button again:

(I just added some console.log to Theia source code to help me understand the source code, and did not modify the source code.)

I deleted the folder in order to understand the debug module’s execution flow, but I think this error may be a bug.

@inlann thank you for the discussion :+1:

I deleted the folder in order to understand the debug module’s execution flow, but I think this error may be a bug.

I believe it is a bug as well, we cannot re-create the .theia/launch.json a second time when the file is manually deleted.

Do you mind opening an issue for the use-case?

Sure :wink:

The tasks.json of the Task module can be re-create. Perhaps its code logic can be borrowed to deal with this problem in the Debug module

My version of Theia is 1.16.0. Sorry, I didn’t test if this bug exists in the latest version of Theia.

I tested the latest version of Theia (v1.17.2). This bug still exists: