From d0ec26643746b49f5146cadf66ba679d0b6ff929 Mon Sep 17 00:00:00 2001
From: Yannik Schmidt <yannik.schmidt@tum.de>
Date: Thu, 5 Dec 2024 09:30:58 +0100
Subject: [PATCH] Hide persisted and Java Plugin notifications

---
 images/base-ide/project/.theia/settings.json |  4 +++-
 images/java-17/project/.theia/settings.json  | 12 ++++++++++++
 2 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 images/java-17/project/.theia/settings.json

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