storm/bragi
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

CI: Fix if statement.

Browse Source
This commit is contained in:
Terry Geng 2020-11-01 10:08:24 +08:00
parent f94782c9d7
commit c48bba869f
No known key found for this signature in database
GPG Key ID: F982F8EA1DF720E7
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
scripts/update_translation_to_server.sh
View File

@ -22,7 +22,7 @@ echo "=> Check if the modifications are based on the translations on the server.
n=1 n=1
COMMON_FOUND=false COMMON_FOUND=false
while [ $n -le 10 ]; do while [ $n -le 20 ]; do
echo "==> Comparing server's translations with master~$n ($(git show --oneline --quiet master~$n))" echo "==> Comparing server's translations with master~$n ($(git show --oneline --quiet master~$n))"
CHANGED_LANG_FILE=$(git diff --name-only master~$n | grep "lang/" || true) CHANGED_LANG_FILE=$(git diff --name-only master~$n | grep "lang/" || true)
if [ -z "$CHANGED_LANG_FILE" ]; then if [ -z "$CHANGED_LANG_FILE" ]; then
@ -31,10 +31,10 @@ while [ $n -le 10 ]; do
else else
echo "==> Modified lang files: $CHANGED_LANG_FILE" echo "==> Modified lang files: $CHANGED_LANG_FILE"
fi fi
let n++ (( n++ ))
done done
if [ ! $COMMON_FOUND ]; then if (! $COMMON_FOUND); then
echo "==> CONFLICTS: Previous commits doesn't share the same translations with the server." echo "==> CONFLICTS: Previous commits doesn't share the same translations with the server."
echo " There are unmerged translation updates on the server." echo " There are unmerged translation updates on the server."
echo " Please manually update these changes or wait for the pull request" echo " Please manually update these changes or wait for the pull request"