add get_extension_manually to workstation if needed

SamPIngram · Sep 14, 2023 · e45ca0e · e45ca0e
1 parent 292d24f
commit e45ca0e
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/docker/conda-code-server/setup/scripts/get_extensions_manually.sh b/docker/conda-code-server/setup/scripts/get_extensions_manually.sh
@@ -6,4 +6,5 @@ cd /config/
 rm -r /config/extensions
 wget https://github.com/SamPIngram/CSC-Software-Stack/releases/download/v0.12/extensions.zip --no-check-certificate
 unzip extensions.zip
+rm extensions.zip
 echo "Script completed :)"
diff --git a/docker/workstation-base/setup/scripts/get_extensions_manually.sh b/docker/workstation-base/setup/scripts/get_extensions_manually.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+# Only use if vscode.sh is not able to download extensions due to ssl issues
+
+cd /config/.vscode
+rm -r /config/.vscode/extensions
+wget https://github.com/SamPIngram/CSC-Software-Stack/releases/download/v0.12/extensions.zip --no-check-certificate
+unzip extensions.zip
+rm extensions.zip
+echo "Script completed :)"