diff --git a/theia-pincer/install_extension.sh b/theia-pincer/install_extension.sh index c57ed03..cccba16 100644 --- a/theia-pincer/install_extension.sh +++ b/theia-pincer/install_extension.sh @@ -3,7 +3,7 @@ set -xe # Install latest pincer extension -curl https://pincer-server.fly.dev/version/latest/download -o /opt/code-server/pincer.vsix +curl https://pincer.anubis-lms.io/version/latest/download -o /opt/code-server/pincer.vsix /usr/bin/code-server --user-data-dir=/opt/code-server --install-extension /opt/code-server/pincer.vsix # Download study base files if not already there