X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/2d56bd2e4722e9c664f7605b3a46b505a30782db..cdecff5125a3bc09720be4d210536a183e43ce7e:/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"