From e9cdf5ffaf52477b1caf97bdad0ec61b847892b2 Mon Sep 17 00:00:00 2001
From: Yannik Schmidt <yannik.schmidt@tum.de>
Date: Mon, 16 Dec 2024 13:07:36 +0100
Subject: [PATCH] Hide persisted folder for every AppDef

---
 images/c/.theia/settings.json       | 9 +++++++++
 images/haskell/.theia/settings.json | 9 +++++++++
 images/ocaml/.theia/settings.json   | 9 +++++++++
 images/python/.theia/settings.json  | 9 +++++++++
 images/rust/.theia/settings.json    | 9 +++++++++
 5 files changed, 45 insertions(+)
 create mode 100644 images/c/.theia/settings.json
 create mode 100644 images/haskell/.theia/settings.json
 create mode 100644 images/ocaml/.theia/settings.json
 create mode 100644 images/python/.theia/settings.json
 create mode 100644 images/rust/.theia/settings.json

diff --git a/images/c/.theia/settings.json b/images/c/.theia/settings.json
new file mode 100644
index 000000000..2bc44b500
--- /dev/null
+++ 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
+}
\ No newline at end of file
diff --git a/images/haskell/.theia/settings.json b/images/haskell/.theia/settings.json
new file mode 100644
index 000000000..2bc44b500
--- /dev/null
+++ 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
+}
\ No newline at end of file
diff --git a/images/ocaml/.theia/settings.json b/images/ocaml/.theia/settings.json
new file mode 100644
index 000000000..2bc44b500
--- /dev/null
+++ 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
+}
\ No newline at end of file
diff --git a/images/python/.theia/settings.json b/images/python/.theia/settings.json
new file mode 100644
index 000000000..2bc44b500
--- /dev/null
+++ 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
+}
\ No newline at end of file
diff --git a/images/rust/.theia/settings.json b/images/rust/.theia/settings.json
new file mode 100644
index 000000000..2bc44b500
--- /dev/null
+++ 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
+}
\ No newline at end of file