diff --git a/Dockerfile b/Dockerfile index dd3f217343707e85ee42c547dbac4bad31f8dd1d..e0121582e4dffee8ed997d687ec390dd8ca117c2 100644 --- a/Dockerfile +++ b/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 diff --git a/doc.zih.tu-dresden.de/util/check-filesize.sh b/doc.zih.tu-dresden.de/util/check-filesize.sh index 5fcbff3bea0aca98c7b1271164f41766aa6ad76e..a8947ace1c790f094047ef5d0dc971c4eba7dc0a 100755 --- a/doc.zih.tu-dresden.de/util/check-filesize.sh +++ b/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