From 7aec1e172d61c6a7276ae102380ef2112b9077fb Mon Sep 17 00:00:00 2001
From: Mike Lang <mikelang3000@gmail.com>
Date: Tue, 9 Aug 2016 09:54:11 -0700
Subject: [PATCH] launcher script: Fix inconsistent whitespace

---
 scope | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/scope b/scope
index 2b1ba2abe..15ad0220a 100755
--- a/scope
+++ b/scope
@@ -39,18 +39,18 @@ check_docker_access() {
     # Extract socket path
     DOCKER_SOCK_FILE=""
     if [ -z "${DOCKER_HOST+x}" ]; then
-	DOCKER_SOCK_FILE="/var/run/docker.sock"
+        DOCKER_SOCK_FILE="/var/run/docker.sock"
     else
-	WITHOUT_PREFIX="${DOCKER_HOST#unix://}"
-	if [ "$WITHOUT_PREFIX" != "$DOCKER_HOST" ]; then
-	    DOCKER_SOCK_FILE="$WITHOUT_PREFIX"
-	fi
+        WITHOUT_PREFIX="${DOCKER_HOST#unix://}"
+        if [ "$WITHOUT_PREFIX" != "$DOCKER_HOST" ]; then
+            DOCKER_SOCK_FILE="$WITHOUT_PREFIX"
+        fi
     fi
 
     if [ \( -n "$DOCKER_SOCK_FILE" \) -a \( ! -w "$DOCKER_SOCK_FILE" \) ]; then
-	echo "ERROR: cannot write to docker socket: $DOCKER_SOCK_FILE" >&2
-	echo "change socket permissions or try using sudo" >&2
-	exit 1
+        echo "ERROR: cannot write to docker socket: $DOCKER_SOCK_FILE" >&2
+        echo "change socket permissions or try using sudo" >&2
+        exit 1
     fi
 }