← list

scripts

Repo containing scripts to be used with dovel, and git hooks that powers our web interface.

curl https://dovel.email/scripts.tar tar

081f94d

Author: brian (git@myr.sh)

Date: Mon Sep 25 00:36:10 2023 -0300

Parent: 87293b2

Added back link

Diff

diff --git a/update-repo-index b/update-repo-index
index c8980e7..a4364aa 100755
--- a/update-repo-index
+++ b/update-repo-index
@@ -16,6 +16,7 @@ git archive -o "$OUT/$REPO-HEAD.zip" HEAD
echo "creating index.html"
cat << EOF > "$OUT/index.html"
$(pageheader "$REPO")
+	&larr; <a href=/git.html>list</a>
<center>
<h1>$REPO</h1>
<nav>
diff --git a/update-repo-tree b/update-repo-tree
index 78722d2..7019558 100755
--- a/update-repo-tree
+++ b/update-repo-tree
@@ -10,6 +10,7 @@ OUT="$HOME/www/dovel.email/$REPO"
createfilepage() {
cat <<- EOF
$(pageheader "$REPO")
+	&larr; <a href=/git.html>list</a>
<center>
<h1>$REPO</h1>
<nav>