when starting the (non-developer full-image) docker container (using docker/run.sh), allow to mount several volume with he -v option.
The behavior should be the same as the actual docker/dev/run.sh script, used for developer (pipe split into two images).
when starting the (non-developer full-image) docker container (using docker/run.sh), allow to mount several volume with he -v option. The behavior should be the same as the actual docker/dev/run.sh script, used for developer (pipe split into two images).