Files
docker-latex-server/install-extensions.sh
Musab Erdem 5670564f04 install-extensions.sh aktualisiert
Nun wird vor der Installation der Extension überprüft, ob diese bereits installiert ist oder nicht. Dies ist notwendig, damit der Code Server nach einem Neustart des Containers problemlos starten kann.
2024-02-25 17:40:42 +01:00

15 lines
483 B
Bash

#!/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