From d4da3bc3e5d0881d5c25e1e4f8aad82d2255a76b Mon Sep 17 00:00:00 2001
From: Jan Frenzel <jan.frenzel@tu-dresden.de>
Date: Thu, 12 Dec 2024 17:11:42 +0100
Subject: [PATCH] Update version of mermaid
Obviously, different versions of mkdocs require different mermaid versions.
---
doc.zih.tu-dresden.de/util/check-spelling.sh | 10 ++++++++--
.../util/download-newest-mermaid.js.sh | 2 +-
2 files changed, 9 insertions(+), 3 deletions(-)
diff --git a/doc.zih.tu-dresden.de/util/check-spelling.sh b/doc.zih.tu-dresden.de/util/check-spelling.sh
index b58e4897e..27f10a8e2 100755
--- a/doc.zih.tu-dresden.de/util/check-spelling.sh
+++ b/doc.zih.tu-dresden.de/util/check-spelling.sh
@@ -40,7 +40,8 @@ function is_wordlist_sorted(){
}
function should_skip_file(){
- local result="$(git check-attr check-spelling -- "$1")"
+ local result
+ result="$(git check-attr check-spelling -- "$1")"
test "${result#*: check-spelling: }" = "unset"
}
@@ -83,7 +84,12 @@ function is_mistake_count_increased_by_changes(){
source_hash=`git merge-base HEAD "${branch}"`
#Remove everything except lines beginning with --- or +++
- files=`git diff ${source_hash} -- '*.md' | sed -E -n 's#^(---|\+\+\+) ((/|./)[^[:space:]]+)$#\2#p'`
+ files=$(git diff ${source_hash} -- '*.md' \
+ | sed -E -n 's#^(---|\+\+\+) ((/|./)[^[:space:]]+)$#\2#p')
+ #Special case: when ${files} is empty, we need to prevent the failure at 'read newfile'
+ if [[ -z "${files}" ]]; then
+ return 0
+ fi
#echo "${files}"
#echo "-------------------------"
#Assume that we have pairs of lines (starting with --- and +++).
diff --git a/doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh b/doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh
index 5255c30aa..2ea79b26c 100755
--- a/doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh
+++ b/doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh
@@ -6,4 +6,4 @@ scriptpath=${BASH_SOURCE[0]}
basedir=`dirname "${scriptpath}"`
basedir=`dirname "${basedir}"`
cd ${basedir}/tud_theme/javascripts
-wget https://unpkg.com/mermaid@9.4.0/dist/mermaid.min.js
+wget https://unpkg.com/mermaid@11.4.1/dist/mermaid.min.js
--
GitLab