diff --git a/.devcontainer/.env b/.devcontainer/.env index 44b9ea4..c7f0f59 100644 --- a/.devcontainer/.env +++ b/.devcontainer/.env @@ -3,6 +3,9 @@ function get_common_args () { if [ -n "$GITHUB_ACTIONS" ]; then common_vols="--volume /home/runner/work:/__w" common_misc="--workdir $(pwd) --rm" + elif [ -n "$CODESPACES" ]; then + common_vols="--volume /workspaces:/workspaces" + common_misc="--workdir $(pwd) --init --interactive --tty --rm" else common_vols="--volumes-from $(cat /proc/self/cgroup | head -n 1 | cut -d '/' -f3)" common_misc="--workdir $(pwd) --init --interactive --tty --rm"