From acdc4b1bf11cd63557494f2d1261013dfc74e132 Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Wed, 24 Aug 2022 14:28:17 +0200
Subject: [PATCH] Make it work
---
doc.zih.tu-dresden.de/util/check-filesize.sh | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/doc.zih.tu-dresden.de/util/check-filesize.sh b/doc.zih.tu-dresden.de/util/check-filesize.sh
index 22d11cfe7..efe23ddd1 100755
--- a/doc.zih.tu-dresden.de/util/check-filesize.sh
+++ b/doc.zih.tu-dresden.de/util/check-filesize.sh
@@ -1,4 +1,4 @@
-#!/bin/bash -x
+#!/bin/bash
# BSD 3-Clause License
#
@@ -36,8 +36,11 @@ branch="origin/${CI_MERGE_REQUEST_TARGET_BRANCH_NAME:-preview}"
source_hash=`git merge-base HEAD "$branch"`
for f in $(git diff $source_hash --name-only); do
+ # Do not check size of git lfs files.
+ # 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 in git lfs."
+ echo "Skip file in webm or mp4 format cause it is a git lfs file."
continue
fi
fs=$(wc -c $f | awk '{print $1}')
--
GitLab