diff --git a/.gitea/workflows/unicode_check.yaml b/.gitea/workflows/unicode_check.yaml index 17fb47d..9e72f7f 100644 --- a/.gitea/workflows/unicode_check.yaml +++ b/.gitea/workflows/unicode_check.yaml @@ -20,4 +20,6 @@ jobs: git log --pretty=format:"%h %ad | %s%d [%an]" --graph --date=short $@ modifiche=$(git diff --unified=0 ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }} content/ | grep -E "^[+]" | grep -Ev '^(--- a/|\+\+\+ b/)') num=$(echo $modifiche | grep -c -e '[\u2014]' -e '[\u2018]' -e '[\u2019]' -e '[\u201C]' -e '[\u201D]' -e '[\u2026]' ) - if [ $num -gt 0 ] ; then exit 1 ; done + echo "modifiche: $modifiche" + echo "num: $num" + if [ $num -gt 0 ] ; then exit 1 ; else echo "ok" ; done