From b818427342d71651f2a5e5c4cc15eb69f5e77a0a Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Tue, 8 Aug 2017 19:34:05 +0200 Subject: [PATCH] Only clone if directory does not exist --- run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run.sh b/run.sh index 42b1109..661ba1a 100644 --- a/run.sh +++ b/run.sh @@ -9,7 +9,7 @@ fi repo=$1 -git clone ${repo} /website +[[ -e "/website" ]] || git clone ${repo} /website cd /website cabal install