From 249832abaa21577d68a7b4f3d0a55a885db6d126 Mon Sep 17 00:00:00 2001 From: jsz4n Date: Wed, 24 Sep 2025 19:05:12 +0200 Subject: [PATCH] ignore cp if file already exists --- scripts/slides_to_html.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/slides_to_html.sh b/scripts/slides_to_html.sh index 534998f..c4f44e8 100755 --- a/scripts/slides_to_html.sh +++ b/scripts/slides_to_html.sh @@ -11,7 +11,7 @@ do file_out=`echo $filename | sed -e 's/\.md/\.html/g'` sed -e "s|SLIDEHEAD|$headEscapedForSed|g" $filename | pandoc -s --mathjax -t revealjs -o html/$file_out --slide-level=$SLIDE_LEVEL --highlight-style=$HIGHLIGHT_STYLE -V revealjs-url=https://unpkg.com/reveal.js@5.2.0 --template=./templates/template.revealjs --css custom.css if [ -f ./templates/custom.css ]; then - cp ./templates/custom.css ./html/custom.css + cp -n ./templates/custom.css ./html/custom.css fi echo output $file_out