From 75a4a43268dd0d215f77f507f07ccbd7bcb3ee8e Mon Sep 17 00:00:00 2001 From: Stian Lund Date: Thu, 14 Dec 2023 15:02:08 +0100 Subject: [PATCH] genHTMLindex changes --- Batch/genHTMLIndex.sh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/Batch/genHTMLIndex.sh b/Batch/genHTMLIndex.sh index b702032..cd2857d 100755 --- a/Batch/genHTMLIndex.sh +++ b/Batch/genHTMLIndex.sh @@ -37,14 +37,14 @@ do cd "${dirs[i]}" echo "Creating index in ${dirs[i]}" # Generate HTML index - Color, Date, Size(h), No lines(i), Title(T), filter self(I) - # Remove credits, link to parent dir + # Pipe to sed: Remove credits, link to parent dir, change colours tree -CDhi -H "." -T "$(basename $PWD)" -I "index.html" -L 1 --dirsfirst --charset "utf-8"\ | 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;/'\ + -e 's/BODY {/BODY { color: lime; background: black;/'\ + -e 's/color: black;/color: lime;/'\ + -e 's/color: blue;/color: deepskyblue;/'\ + -e 's/color: green;/color: limegreen;/'\ + -e 's/color: purple;/color: mediumpurple;/'\ > index.html cd $OLDPWD done