X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/1a4d0158373902cac889ce5409fcae447d4a68d6..8a42d33f69d5e0889d9f390acb4947c20edff33e:/docker/arvdock

diff --git a/docker/arvdock b/docker/arvdock
index 26eaba988c..a41056cd68 100755
--- a/docker/arvdock
+++ b/docker/arvdock
@@ -302,8 +302,7 @@ EOF
         fi
     fi
 
-    `cat /etc/resolv.conf |grep -P "nameserver 172\.17\.42\.1" -q`
-    if [[ "$?" == "1" ]]; then
+    if [ "$(awk '($1 == "nameserver"){print $2; exit}' </etc/resolv.conf)" != "172.17.42.1" ]; then
         echo
         echo "******************************************************************"
         echo "To access Arvados you must add the Arvados nameserver to the top"