Hide persisted folder

ls1intum · Nov 27, 2024 · 4e0ee4f · 4e0ee4f
1 parent b04327e
commit 4e0ee4f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git 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
     }
 }
diff --git 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
@@ -2,6 +2,7 @@
     "extensions.ignoreRecommendations": true,
     "files.exclude": {
         "**/.theia": true,
+        "persisted": true,
         "lost+found": true
     },
     "lldb.library": "/usr/lib/liblldb.so",