Merge pull request #189 from EatonEmmerich/master

QuickFix for issue #186
This commit is contained in:
Matt McCormick
2018-01-29 13:53:30 -05:00
committed by GitHub

View File

@ -183,7 +183,7 @@ fi
# Change the PWD when working in Docker on Windows # Change the PWD when working in Docker on Windows
if [ -n "$UBUNTU_ON_WINDOWS" ]; then if [ -n "$UBUNTU_ON_WINDOWS" ]; then
HOST_PWD=$PWD HOST_PWD=`pwd -P`
HOST_PWD=${HOST_PWD/\/mnt\//} HOST_PWD=${HOST_PWD/\/mnt\//}
HOST_PWD=${HOST_PWD/\//:\/} HOST_PWD=${HOST_PWD/\//:\/}
elif [ -n "$MSYS" ]; then elif [ -n "$MSYS" ]; then