This commit is contained in:
2024-08-27 12:15:15 +02:00
parent 8d758f9fe7
commit ad71be42e7

View File

@@ -164,7 +164,7 @@ get_repositories(){
check_installer_key check_installer_key
BASE=$(basename $REPO | cut -d '.' -f1) BASE=$(basename $REPO | cut -d '.' -f1)
if [ ! -f "/tmp/$BASE" ]; then if [ ! -d "/tmp/$BASE" ]; then
git clone $REPO /tmp/$BASE; git clone $REPO /tmp/$BASE;
else else
git pull $REPO /tmp/$BASE; git pull $REPO /tmp/$BASE;