diff --git a/util/start_dev_shell.sh b/util/start_dev_shell.sh index 5d535ece34f750bfcf9c3a0be551117ad0f4fdfa..3afd223a6dc94d64c19de51ee11a0897ade091bd 100755 --- a/util/start_dev_shell.sh +++ b/util/start_dev_shell.sh @@ -15,7 +15,7 @@ elif [ "${OS}" = "Darwin" ]; then echo "Syncing docker container" docker pull sly2j/juggler:latest echo "Launching dev shell (through docker)..." - docker run -i -t --rm sly2j/juggler:latest eic-shell + docker run -v /Users:/Users -w=$PWD -i -t --rm sly2j/juggler:latest eic-shell else echo "ERROR: dev shell not available for this OS (${OS})" fi