diff --git a/images/base-ide/project/.theia/settings.json b/images/base-ide/project/.theia/settings.json index a812acf1e..f42d42fcf 100644 --- a/images/base-ide/project/.theia/settings.json +++ b/images/base-ide/project/.theia/settings.json @@ -1,6 +1,8 @@ { "extensions.ignoreRecommendations": true, "files.exclude": { - "**/.theia": true + "**/.theia": true, + "persisted": true, + "lost+found": true } } \ No newline at end of file diff --git a/images/java-17/project/.theia/settings.json b/images/java-17/project/.theia/settings.json new file mode 100644 index 000000000..58b229819 --- /dev/null +++ b/images/java-17/project/.theia/settings.json @@ -0,0 +1,12 @@ +{ + "extensions.ignoreRecommendations": true, + "files.exclude": { + "**/.theia": true, + "persisted": true, + "lost+found": true + }, + "java.help.collectErrorLog": false, + "java.help.firstView": "none", + "java.help.showReleaseNotes": false, + "java.silentNotification": true +} \ No newline at end of file