From e016d12d45c1568bfcd53b7557da31f16d6cf4d9 Mon Sep 17 00:00:00 2001 From: Valery Smyslov Date: Wed, 25 Mar 2020 21:44:15 +0000 Subject: [PATCH] Improved support for building under Cygwin - Legacy-Id: 17541 --- docker/run | 50 ++++++++++++++++++++++++++++++-------------------- 1 file changed, 30 insertions(+), 20 deletions(-) diff --git a/docker/run b/docker/run index 244c420a2..3ed549a2c 100755 --- a/docker/run +++ b/docker/run @@ -8,6 +8,10 @@ if [ "$progdir" = "." ]; then progdir="$PWD"; fi parent=$(dirname $progdir) if [ "$parent" = "." ]; then parent="$PWD"; fi +if [[ $(uname) =~ CYGWIN.* ]]; then + parent=$(echo $parent | sed -e 's/^\/cygdrive\/\(.\)/\1:/') +fi + # ---------------------------------------------------------------------- function usage() { cat < /dev/null 2>&1; then + echo -e "The docker VM doesn't seem to be running; docker info gave:\n $info" + die "Don't know how to start docker when running under Cygwin" + fi + TAG=$(echo $TAG | tr -d \\r) + URL="http://localhost:$PORT/" +elif [ -e "$APP" ]; then info=$(docker info 2>&1 || true) if ! docker info 1> /dev/null 2>&1; then echo -e "The docker VM doesn't seem to be running; docker info gave:\n $info" @@ -196,7 +207,6 @@ else fi fi - image=$(docker ps | grep "$REPO:$TAG" | awk '{ print $1 }') if [ "$image" ]; then if [ "$*" ]; then