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

74531a8

Author: brian (git@myr.sh)

Date: Fri Sep 29 13:11:49 2023 -0300

Parent: 0bd66f8

Ajusted archive

Diff

diff --git a/aux.sh b/aux.sh
index 5c420c8..cbbd73d 100755
--- a/aux.sh
+++ b/aux.sh
@@ -65,8 +65,8 @@ pagesummary() {
</nav>
<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>
+	<kbd>curl https://dovel.email/$REPO/$REPO.tar</kbd>
+	<a float=right href=/$REPO/$REPO.tar filename=$REPO.tar>tar</a>
EOF
}

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

# archives
echo "creating archives"
-tar cz "$OUT/tree/" --xform="s@$OUT/tree@$REPO@" > "$OUT/$REPO.zip"
+tar cz "$OUT/tree/" --xform="s@$OUT/tree@$REPO@" > "$OUT/$REPO.tar.gz"

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