dev: fix devcontainer env for codespaces

In Github Codespaces the environment inside as
well as outside of the base container is identical
regarding the folder structure. To provide DooD
functionality while working with data local to the
base container the /workspaces folder can be
simply volume mounted.

.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"