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

47099a6

Author: brian (git@myr.sh)

Date: Fri Sep 29 11:24:23 2023 -0300

Parent: c43f175

Changed archive

Diff

diff --git a/aux.sh b/aux.sh
index c8436ce..5c420c8 100755
--- a/aux.sh
+++ b/aux.sh
@@ -66,6 +66,7 @@ pagesummary() {
<p><i>$(cat description)</i></p>
</center>
<kbd>curl https://dovel.email/$REPO/$REPO.zip</kbd>
+	<a text-align=right href=/$REPO/$REPO.zip filename=$REPO.zip>zip</a>
EOF
}

diff --git a/update-repo-index b/update-repo-index
index 3546490..97a1969 100755
--- a/update-repo-index
+++ b/update-repo-index
@@ -10,8 +10,7 @@ OUT="$HOME/www/dovel.email/$REPO"

# archives
echo "creating archives"
-tar -czf "$OUT/$REPO.zip" "$OUT/tree/"
-git archive -o "$OUT/$REPO-HEAD.zip" HEAD
+zip -r "$OUT/$REPO.zip" "$OUT/tree/"

echo "creating index.html"
cat << EOF > "$OUT/index.html"