Repo containing scripts to be used with dovel, and git hooks that powers our web interface.
Author: brian (git@myr.sh)
Date: Tue Sep 19 21:02:39 2023 -0300
Parent: aef8434
Improved repo index
diff --git a/update-repo-index b/update-repo-index
index 329f388..1d262bb 100755
--- a/update-repo-index
+++ b/update-repo-index
@@ -37,7 +37,8 @@ cat << EOF > "$OUT/index.html"
font-family: sans-serif;
}
pre {
- font-weight: bold;
+ white-space: pre-line;
+ font-family: monospace;
background: lightgray;
padding: 8px;
border-radius: 8px;
@@ -52,7 +53,7 @@ cat << EOF > "$OUT/index.html"
<body>
<center>
<h1>$REPO</h1>
- <i>$(cat description)</i>
+ <p><i>$(cat description)</i><p>
<nav>
<a>index</a>  
<a href=refs.html>refs</a>  
@@ -64,10 +65,10 @@ cat << EOF > "$OUT/index.html"
zip: <kbd>curl dovel.email/$REPO/$REPO.zip</kbd>
<p>
Latest commit:
- $(git --git-dir "$dir" log -n 1 --format="%an commited (%h) at %ah: %s")
+ $(git log -n 1 --format="%an commited (%h) at %ah: %s")
</p>
<hr>
- <pre>$(cat "$TMP/README" "$TMP/README.md")</pre>
+ <pre>$(cat "$TMP/README"*)</pre>
</body>
</html>
EOF