commit ad13e57b69175782fe1f75db3cd4b53095cde6e1
parent 13ae3dfd15d1a735ac8cab7b781a53aa9c53eeb5
Author: Martin Kloeckner <mjkloeckner@gmail.com>
Date: Sat, 2 Nov 2024 21:02:09 -0300
make `mv` and `cp` verbose
Diffstat:
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/scripts/build_page.sh b/scripts/build_page.sh
@@ -115,12 +115,13 @@ insert_div_article_title_w_logo() {
[ ! -z "$logo_line" ] && \
insert_div_article_title_w_logo "$logo_line" "$title_line"
-rm body.html &> /dev/null
+rm -v body.html &> /dev/null
./scripts/syntax-highlight "$dest_dir"/"$filename".html > tmp.html
-mv tmp.html "$dest_dir"/"$filename".html
cp -v ./favicon.webp "$dest_dir"/
+mv -v tmp.html "$dest_dir"/"$filename".html
+
echo "==> "$filename".html generated succesfully"
echo ""