don't clone if it exists

2018-05-31 23:33:54 -06:00 · 2018-05-31 23:33:54 -06:00 · a477ca1856
--- a/hub.ios.install.sh
+++ b/hub.ios.install.sh
@ -27,7 +27,9 @@ mkdir -p ~/git.ppl.family/ppl
 pushd ~/git.ppl.family/ppl/

  # ~/git.ppl.family/ppl/
-  git clone https://git.ppl.family/ppl/ppl.ios.git
+  if [ ! -e ppl.ios ]; then
+    git clone https://git.ppl.family/ppl/ppl.ios.git
+  fi

  pushd ./ppl.ios/