Found cause of bug: up to date vs up-to-date

This commit is contained in:
redfast00 2018-08-12 11:40:46 +02:00
parent 1e7b400d18
commit f2220626e7
No known key found for this signature in database
GPG Key ID: 5946E0E34FD0553C
1 changed files with 2 additions and 1 deletions

View File

@ -10,7 +10,8 @@ declare release_dir="$dir/releases/$timestamp"
# Pull latest revision
echo "-> Pulling latest release"
git pull | grep 'Already up to date.' && echo "No updates, exiting..." && exit 0
# Apparently, some systems put "up to date", while others put "up-to-date"
git pull | grep -q 'Already up-?to-?date.' && echo "No updates, exiting..." && exit 20
echo "-> Checking validity of data.json"
jsonlint src/data.json