This commit is contained in:
2024-08-13 16:46:44 -04:00
commit 8cb37c6011
418 changed files with 69567 additions and 0 deletions

32
backend/check Executable file
View File

@@ -0,0 +1,32 @@
#!/bin/bash
while :
do
git fetch
UPSTREAM=${1:-'@{u}'}
LOCAL=$(git rev-parse @)
REMOTE=$(git rev-parse "$UPSTREAM")
BASE=$(git merge-base @ "$UPSTREAM")
if [ $LOCAL = $REMOTE ]; then
echo "Up-to-date"
elif [ $LOCAL = $BASE ]; then
echo "Need to pull"
git pull
cd image/arm/
./build.sh
cd ../..
./restart
elif [ $REMOTE = $BASE ]; then
echo "Need to push"
else
echo "Diverged"
fi
sleep 10
done