From 416429ecd855e1c4780af858f09eadfab4e64a58 Mon Sep 17 00:00:00 2001 From: Stian Lund Date: Thu, 14 Dec 2023 14:54:26 +0100 Subject: [PATCH] genHTMLIndex changes --- Batch/genHTMLIndex.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Batch/genHTMLIndex.sh b/Batch/genHTMLIndex.sh index cb1070e..b702032 100755 --- a/Batch/genHTMLIndex.sh +++ b/Batch/genHTMLIndex.sh @@ -39,6 +39,12 @@ do # Generate HTML index - Color, Date, Size(h), No lines(i), Title(T), filter self(I) # Remove credits, link to parent dir tree -CDhi -H "." -T "$(basename $PWD)" -I "index.html" -L 1 --dirsfirst --charset "utf-8"\ - | sed -e '/
/,+7d' -e 's/href="\.">\./href="..">../' > index.html + | sed -e '/
/,+7d' -e 's/href="\.">\./href="..">../'\ + | sed -e 's/BODY {/BODY { color: lime; background: black;/'\ + | sed -e 's/color: black;/color: lime;/'\ + | sed -e 's/color: blue;/color: deepskyblue;/'\ + | sed -e 's/color: green;/color: limegreen;/'\ + | sed -e 's/color: purple;/color: mediumpurple;/'\ + > index.html cd $OLDPWD done