diff --git a/imagefiles/dockcross b/imagefiles/dockcross index 9661cfb..35030f2 100755 --- a/imagefiles/dockcross +++ b/imagefiles/dockcross @@ -183,8 +183,17 @@ fi # Change the PWD when working in Docker on Windows if [ -n "$UBUNTU_ON_WINDOWS" ]; then + WSL_ROOT = "/\/mnt\//" + + CFG_FILE=/etc/wsl.conf + CFG_CONTENT=$(cat $CFG_FILE | sed -r '/[^=]+=[^=]+/!d' | sed -r 's/\s+=\s/=/g') + eval "$CFG_CONTENT" + if [ -n "$root"] + WSL_ROOT=$root + HOST_PWD=`pwd -P` - HOST_PWD=${HOST_PWD/\/mnt\//} + + HOST_PWD=${HOST_PWD/$WSL_ROOT//} HOST_PWD=${HOST_PWD/\//:\/} elif [ -n "$MSYS" ]; then HOST_PWD=$PWD