From 79f20a60cbf7005d61d1cb9e7cd3fec4a12459bd Mon Sep 17 00:00:00 2001 From: Yannik Schmidt Date: Mon, 12 Aug 2024 15:00:30 +0200 Subject: [PATCH] Use OpenVSX version for Artemis plugin --- images/base-ide/package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/images/base-ide/package.json b/images/base-ide/package.json index 33a2c712c..dc7ce38e4 100644 --- a/images/base-ide/package.json +++ b/images/base-ide/package.json @@ -60,7 +60,7 @@ "theiaPluginsDir": "plugins", "theiaPlugins": { "eclipse-theia.builtin-extension-pack": "https://open-vsx.org/api/eclipse-theia/builtin-extension-pack/1.88.1/file/eclipse-theia.builtin-extension-pack-1.88.1.vsix", - "scorpio": "https://github.com/ls1intum/scorpio/releases/download/v0.0.1/scorpio-0.0.1.vsix" + "scorpio": "https://open-vsx.org/api/tum-aet/artemis-scorpio/0.0.2/file/tum-aet.artemis-scorpio-0.0.2.vsix" }, "theiaPluginsExcludeIds": [ "ms-vscode.js-debug-companion",