#!/bin/bash

# Die ID der Extension, die installiert werden soll
EXTENSION_ID="james-yu.latex-workshop"

# Ü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