install-extensions.sh

@@ -1,7 +1,15 @@
 #!/bin/bash
 
-# Install LaTeX Extension for VS Code / Code Server
-code-server --install-extension james-yu.latex-workshop
+# Die ID der Extension, die installiert werden soll
+EXTENSION_ID="james-yu.latex-workshop"
 
-# Start code-server
+# Überprüfen, ob die Extension bereits installiert ist
+if ! code-server --list-extensions | grep -q "${EXTENSION_ID}"; then
+    echo "Installiere Extension: ${EXTENSION_ID}"
+    code-server --install-extension ${EXTENSION_ID}
+else
+    echo "Extension ${EXTENSION_ID} ist bereits installiert."
+fi
+
+# Starten des code-server
 exec code-server --bind-addr 0.0.0.0:8443 --auth none