From c781ef4306c38ee8cd3d59d8edb32c32f7c97d0e Mon Sep 17 00:00:00 2001
From: "Hahn Axel (hahn)" <axel.hahn@iml.unibe.ch>
Date: Fri, 5 Nov 2021 13:52:18 +0100
Subject: [PATCH] force install when target dir is empty (and when download is
 no update)

---
 deploy_app.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/deploy_app.sh b/deploy_app.sh
index cb34883..359aa39 100755
--- a/deploy_app.sh
+++ b/deploy_app.sh
@@ -179,6 +179,11 @@ function deploy(){
     header "Switch into install dir ${installdir} ..."
     test -d "${installdir}" || mkdir -p "${installdir}"
     cd ${installdir} || exit 2
+    ls -1 * >/dev/null 2>&1
+    if [ $? -ne 0 ]; then
+        echo "INFO: target directory is empty."
+        isupdate=$isupdate+1
+    fi
 
 
     # ----------------------------------------------------------------------
-- 
GitLab