pub / stagit-scripts

Building src.jayvii.de with stagit
git clone https://src.jayvii.de/pub/stagit-scripts.git
Home | Log | Files | Exports | Refs | README | RSS

commit 224fa755624b4c265cca75f4f6932256a9f7a101
parent 2351d5784fadc7a855acf0b52c7ed8b4c8bfb68b
Author: JayVii <jayvii[AT]posteo[DOT]de>
Date:   Sat, 27 Apr 2024 23:59:27 +0200

Always use diff-highlighting for logs

Diffstat:
Mbin/git_update_repo_html.sh | 3++-
1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/bin/git_update_repo_html.sh b/bin/git_update_repo_html.sh @@ -30,7 +30,8 @@ stagit "${1}/${2}/${3}.git" find "${1}/${2}/${3}/file" -type f -name "*.html" \ -exec sed "/<\/html>/r ${1}/templates/highlight.tt" -i {} \; find "${1}/${2}/${3}/commit" -type f -name "*.html" \ - -exec sed "/<\/html>/r ${1}/templates/highlight.tt" -i {} \; + -exec sed "/<\/html>/r ${1}/templates/highlight.tt" -i {} \; \ + -exec sed -e 's/<pre>/<pre class=\"language-diff\">/g' -i {} \; if [ -z $(find "${1}/${2}/${3}/file" -type f -name "README*.html") ]; then # use log.html as index