From fc6f535913a07dda78940c58abb871fcd5cbe827 Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Wed, 24 Aug 2022 14:30:27 +0200
Subject: [PATCH] Output file name of skipped filex
---
doc.zih.tu-dresden.de/util/check-filesize.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc.zih.tu-dresden.de/util/check-filesize.sh b/doc.zih.tu-dresden.de/util/check-filesize.sh
index efe23ddd1..5fcbff3be 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}')
--
GitLab