scripts

bd3365e

Author: brian (git@myr.sh)

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

Parent: 72dedc3

Added source to scripts

Diff

diff --git a/post-receive b/post-receive
index 51a8bab..7d85646 100755
--- a/post-receive
+++ b/post-receive
@@ -9,8 +9,6 @@ OUT="$HOME/www/dovel.email"
[ -d "$OUT/$REPO/tree" ] && rm -rf "$OUT/$REPO/tree"
git clone . "$OUT/$REPO/tree"

-. ./hooks/aux.sh
-
# update git's index page
. ./hooks/update-git-index

diff --git a/update-git-index b/update-git-index
index a19054b..799e9df 100755
--- a/update-git-index
+++ b/update-git-index
@@ -2,6 +2,8 @@

echo "updating git pages"

+. ./hooks/aux.sh
+
# git.html lists all repos
cat << EOF > "$OUT/git.html"
$(pageheader "dovel")
diff --git a/update-repo-index b/update-repo-index
index a544d44..c8980e7 100755
--- a/update-repo-index
+++ b/update-repo-index
@@ -4,6 +4,8 @@
# set -ex
echo "updating git index"

+. ./hooks/aux.sh
+
OUT="$HOME/www/dovel.email/$REPO"

# archives
diff --git a/update-repo-tree b/update-repo-tree
index 8f93785..49b4253 100755
--- a/update-repo-tree
+++ b/update-repo-tree
@@ -4,6 +4,8 @@
# set -ex
echo "updating git tree"

+. ./hooks/aux.sh
+
OUT="$HOME/www/dovel.email/$REPO"
createfilepage() {
cat <<- EOF