fetch CODESPACE_BACKEND_HOST from the engine (#38)

trywilco · Jan 10, 2024 · fcb6744 · fcb6744
1 parent 8172d8a
commit fcb6744
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.devcontainer/setup.sh b/.devcontainer/setup.sh
@@ -1,6 +1,6 @@
 WILCO_ID="`cat .wilco`"
 ENGINE_EVENT_ENDPOINT="${ENGINE_BASE_URL}/users/${WILCO_ID}/event"
-CODESPACE_BACKEND_HOST="${CODESPACE_NAME}-3000.preview.${GITHUB_CODESPACES_PORT_FORWARDING_DOMAIN}"
+CODESPACE_BACKEND_HOST=$(curl -s "${ENGINE_BASE_URL}/api/v1/codespace/backendHost?codespaceName=${CODESPACE_NAME}&portForwarding=${GITHUB_CODESPACES_PORT_FORWARDING_DOMAIN}" | jq -r '.codespaceBackendHost')
 CODESPACE_BACKEND_URL="https://${CODESPACE_BACKEND_HOST}"
 
 # Update engine that codespace started for user