diff --git a/.devcontainer/post-create.sh b/.devcontainer/post-create.sh index c7b706cc2..653945885 100755 --- a/.devcontainer/post-create.sh +++ b/.devcontainer/post-create.sh @@ -3,7 +3,7 @@ set -eo pipefail # when in a VS Code or GitHub Codespaces devcontainer -if [ -n "${REMOTE_CONTAINERS}" ]; then +if [ -n "${REMOTE_CONTAINERS}" ] || [ -n "${CODESPACES}" ]; then this_dir=$(cd -P -- "$(dirname -- "$(command -v -- "$0")")" && pwd -P) workspace_root=$(realpath ${this_dir}/..)