Development Docker Workspace Dir is actually /workspace instead of the default working dir /autoware?

[AnzhiZhang]

I have noticed that the actual workspace dir in development docker is now /workspace instead of the default working dir /autoware.

docker inspect output:

...
        "Mounts": [
            {
                "Type": "bind",
                "Source": "/tmp/.X11-unix",
                "Destination": "/tmp/.X11-unix",
                "Mode": "",
                "RW": true,
                "Propagation": "rprivate"
            },
            {
                "Type": "bind",
                "Source": "/home/andy/autoware_0.44.2",
                "Destination": "/workspace",
                "Mode": "",
                "RW": true,
                "Propagation": "rprivate"
            }
        ],
...
        "Config": {
...
            "WorkingDir": "/autoware",
...

Related code:

autoware/docker/Dockerfile

Line 15 in c36eaad

WORKDIR /autoware

autoware/docker/run.sh

Line 124 in c36eaad

WORKSPACE="-v ${WORKSPACE_PATH}:/workspace"

In the documentation, some places ask cd to autoware and should be /workspace.

1. Installation/Development environment
   i. After running the development container and before setting up the workspace using mkdir src, cd /workspace is needed.
   ii. In the "To Update the Workspace" section, cd autoware should be cd /workspace instead.
   iii. Same issues in the Source installation page as well.
2. Tutorials/Planning simulation/Installation, cd autoware should be cd /workspace

Personally, the best solution would be to set the default working dir in the development Docker to /workspace.

I am new to autoware. If you could please confirm this is a bug or need to improve on the documentation or the development docker image config, I can open an issue for it.