Hide persisted folder for every AppDef

ls1intum · Dec 16, 2024 · e9cdf5f · e9cdf5f
1 parent 1ff4d35
commit e9cdf5f
Show file tree

Hide file tree

Showing 5 changed files with 45 additions and 0 deletions.
diff --git a/images/c/.theia/settings.json b/images/c/.theia/settings.json
@@ -0,0 +1,9 @@
+{
+    "extensions.ignoreRecommendations": true,
+    "files.exclude": {
+        "**/.theia": true,
+        "persisted": true,
+        "lost+found": true
+    },
+    "telemetry.telemetryLevel": false
+}
diff --git a/images/haskell/.theia/settings.json b/images/haskell/.theia/settings.json
@@ -0,0 +1,9 @@
+{
+    "extensions.ignoreRecommendations": true,
+    "files.exclude": {
+        "**/.theia": true,
+        "persisted": true,
+        "lost+found": true
+    },
+    "telemetry.telemetryLevel": false
+}
diff --git a/images/ocaml/.theia/settings.json b/images/ocaml/.theia/settings.json
@@ -0,0 +1,9 @@
+{
+    "extensions.ignoreRecommendations": true,
+    "files.exclude": {
+        "**/.theia": true,
+        "persisted": true,
+        "lost+found": true
+    },
+    "telemetry.telemetryLevel": false
+}
diff --git a/images/python/.theia/settings.json b/images/python/.theia/settings.json
@@ -0,0 +1,9 @@
+{
+    "extensions.ignoreRecommendations": true,
+    "files.exclude": {
+        "**/.theia": true,
+        "persisted": true,
+        "lost+found": true
+    },
+    "telemetry.telemetryLevel": false
+}
diff --git a/images/rust/.theia/settings.json b/images/rust/.theia/settings.json
@@ -0,0 +1,9 @@
+{
+    "extensions.ignoreRecommendations": true,
+    "files.exclude": {
+        "**/.theia": true,
+        "persisted": true,
+        "lost+found": true
+    },
+    "telemetry.telemetryLevel": false
+}