git pull fix

This commit is contained in:
2024-08-28 13:12:46 +02:00
parent f53d77dae6
commit f72b22af00

View File

@@ -169,7 +169,8 @@ get_repositories(){
if [ ! -d "/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; cd /tmp/$BASE;
git pull;
fi; fi;
if [ -f "/tmp/$BASE/applications-tree.json" ]; then if [ -f "/tmp/$BASE/applications-tree.json" ]; then
TREES=$TREES" /tmp/$BASE/applications-tree.json" TREES=$TREES" /tmp/$BASE/applications-tree.json"