Add git lfs to container and check for lfs files explicitly

Dockerfile

@@ -12,7 +12,7 @@ RUN pip install mkdocs>=1.1.2 mkdocs-material>=7.1.0 mkdocs-htmlproofer-plugin==
 # Linter #
 ##########
 
-RUN apt-get update && apt-get install -y nodejs npm aspell git
+RUN apt-get update && apt-get install -y nodejs npm aspell git git-lfs
 
 RUN npm install -g markdownlint-cli markdown-link-check
 

doc.zih.tu-dresden.de/util/check-filesize.sh

@@ -35,11 +35,15 @@ large_files_present=false
 branch="origin/${CI_MERGE_REQUEST_TARGET_BRANCH_NAME:-preview}"
 source_hash=`git merge-base HEAD "$branch"`
 
+lfsfiles=$(git lfs ls-files -n)
+
 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
+    #if [[ "$f" =~ .*".webm" ]] || [[ "$f" =~ .*".mp4" ]] ; then
+    echo $f
+    if [[ $lfsfiles =~ "$f" ]]; then
         echo "Skip file ${f} in webm or mp4 format cause it is a git lfs file."
         continue
     fi