diff --git a/images/base-ide/project/.theia/settings.json b/images/base-ide/project/.theia/settings.json index 93b3680e1..f42d42fcf 100644 --- a/images/base-ide/project/.theia/settings.json +++ b/images/base-ide/project/.theia/settings.json @@ -2,6 +2,7 @@ "extensions.ignoreRecommendations": true, "files.exclude": { "**/.theia": true, + "persisted": true, "lost+found": true } } \ No newline at end of file diff --git a/images/javascript/project/.theia/settings.json b/images/javascript/project/.theia/settings.json index 564b8f549..f5fb25048 100644 --- a/images/javascript/project/.theia/settings.json +++ b/images/javascript/project/.theia/settings.json @@ -2,6 +2,7 @@ "extensions.ignoreRecommendations": true, "files.exclude": { "**/.theia": true, + "persisted": true, "lost+found": true }, /** diff --git a/images/swift/project/.theia/settings.json b/images/swift/project/.theia/settings.json index fe67beacb..f9a82714f 100644 --- a/images/swift/project/.theia/settings.json +++ b/images/swift/project/.theia/settings.json @@ -2,6 +2,7 @@ "extensions.ignoreRecommendations": true, "files.exclude": { "**/.theia": true, + "persisted": true, "lost+found": true }, "lldb.library": "/usr/lib/liblldb.so",