diff --git a/tests/lint.sh b/tests/lint.sh index 7406a01..18f705f 100755 --- a/tests/lint.sh +++ b/tests/lint.sh @@ -29,10 +29,11 @@ for f in "${fichiers[@]}"; do if grep -q $'\r' "$f"; then signaler "$f : fins de ligne Windows (CRLF)" fi - # Copies fidèles de GNU Backgammon (sources et données) : on ne - # reformate pas leurs espaces, pour rester identique à l'original. + # Copies fidèles de GNU Backgammon (sources et données) et de la licence + # de la police : on ne reformate pas leurs espaces, pour rester + # identique à l'original. case "$f" in - engine/gnubg/* | engine/data/*) continue ;; + engine/gnubg/* | engine/data/* | web/fonts/OFL.txt) continue ;; esac if grep -nE '[[:blank:]]+$' "$f" >/dev/null; then signaler "$f : espaces en fin de ligne (lignes $(grep -nE '[[:blank:]]+$' "$f" | cut -d: -f1 | paste -sd, -))"