diff --git a/doc.zih.tu-dresden.de/util/check-filesize.sh b/doc.zih.tu-dresden.de/util/check-filesize.sh index efe23ddd16e789611189f643222f0df980bb5e59..5fcbff3bea0aca98c7b1271164f41766aa6ad76e 100755 --- a/doc.zih.tu-dresden.de/util/check-filesize.sh +++ b/doc.zih.tu-dresden.de/util/check-filesize.sh @@ -40,7 +40,7 @@ for f in $(git diff $source_hash --name-only); do # This is a bit "Going around your elbow to get to your ear" by assuming that lfs files are # ending with webm or mp4 if [[ "$f" =~ .*".webm" ]] || [[ "$f" =~ .*".mp4" ]] ; then - echo "Skip file in webm or mp4 format cause it is a git lfs file." + echo "Skip file ${f} in webm or mp4 format cause it is a git lfs file." continue fi fs=$(wc -c $f | awk '{print $1}')