diff --git a/.devcontainer/post-install.sh b/.devcontainer/post-install.sh index ebcd9953..61852f78 100644 --- a/.devcontainer/post-install.sh +++ b/.devcontainer/post-install.sh @@ -57,5 +57,16 @@ fi URI="{\"hostPath\":\"$HOST_PATH\",\"configFile\":{\"\$mid\":1,\"path\":\"$DEVCONTAINER_JSON\",\"scheme\":\"vscode-fileHost\"}}" URI_HEX=$(echo "${URI}" | xxd -c 0 -p) +echo "ls ~/.vscode-server*/bin/*/bin/remote-cli* yields:" +ls ~/.vscode-server*/bin/*/bin/remote-cli* || echo "No match found" + export code="$(ls ~/.vscode-server*/bin/*/bin/remote-cli* | head -n 1)" +echo "exported code (from home): $code" + +echo "ls /vscode/vscode-server/bin/*/bin/remote-cli* yields:" +ls /vscode/vscode-server/bin/*/bin/remote-cli* || echo "No match found" + +export code_v2="$(ls /vscode/vscode-server/bin/*/bin/remote-cli* | head -n 1)" +echo "exported code_v2 (from /vscode): $code_v2" + code ${URI_TYPE}="vscode-remote://dev-container%2B${URI_HEX}${URI_SUFFIX}" & \ No newline at end of file