diff --git a/doc.zih.tu-dresden.de/util/check-filesize.sh b/doc.zih.tu-dresden.de/util/check-filesize.sh index 863a27094baee7d5f54bfab02ea000600c8314ba..22d11cfe7b6c4b49d07a9570f530d983d30b7b82 100755 --- a/doc.zih.tu-dresden.de/util/check-filesize.sh +++ b/doc.zih.tu-dresden.de/util/check-filesize.sh @@ -35,11 +35,10 @@ large_files_present=false branch="origin/${CI_MERGE_REQUEST_TARGET_BRANCH_NAME:-preview}" source_hash=`git merge-base HEAD "$branch"` -gitlfsfiles=$(git lfs ls-files -n) - for f in $(git diff $source_hash --name-only); do - if [[ "$gitlfsfiles" =~ .*"$f".* ]]; then - echo "It's there." + if [[ "$f" =~ .*".webm" ]] || [[ "$f" =~ .*".mp4" ]] ; then + echo "Skip file in webm or mp4 format cause it is in git lfs." + continue fi fs=$(wc -c $f | awk '{print $1}') if [ $fs -gt 1048576 ]; then