From 66c2f5ccc3b3d43a1e9895524ed90c7b36a2bae0 Mon Sep 17 00:00:00 2001
From: Simon Pettersson <simon.v.pettersson@gmail.com>
Date: Fri, 6 Oct 2017 09:33:40 +0200
Subject: [PATCH] More compatible with older git versions

---
 tools/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/install.sh b/tools/install.sh
index d9d60630..ddffb093 100755
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -68,7 +68,7 @@ main() {
     exit 1
   fi
   
-  env git clone --depth=1 $(git remote get-url origin) -b "$branch" $ZSH || {
+  env git clone --depth=1 $(git config --get remote.origin.url) -b "$branch" $ZSH || {
     printf "Error: git clone of oh-my-zsh repo failed\n"
     exit 1
   }