Changeset 55353 for trunk/.devcontainer/setup.sh

Timestamp:

02/16/2023 03:48:26 AM (3 years ago)

Author:

helen

Message:

Build/Test Tools: Improve devcontainer setup for non-Codespaces usage

This now runs in local Docker as well. Sets the executable propset to explicitly identify install-tool.sh and setup.sh as executable. Unclear if this will sync via the Git mirror; ideally it would as otherwise the two files show as modified in a Git clone even in a fresh container.

Props samruddhikhandale.
See #57187.

File:

• trunk/.devcontainer/setup.sh (modified) (1 diff, 1 prop)

trunk/.devcontainer/setup.sh

@@ -3 +3 @@
 set -eux
 
-if [ "${CODESPACE_NAME}" = "" ]; then
+if [ -z ${CODESPACE_NAME+x} ]; then
     SITE_HOST="http://localhost:8080"
 else