add get_extension_manually to workstation if needed

Author: SamPIngram

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 :)"

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 :)"