Repo containing scripts to be used with dovel, and git hooks that powers our web interface.
Author: brian (git@myr.sh)
Date: Fri Sep 29 01:41:21 2023 -0300
Parent: 1ab39e7
Small fixes to last cat
diff --git a/update-repo-index b/update-repo-index index a4364aa..3546490 100755 --- a/update-repo-index +++ b/update-repo-index @@ -15,20 +15,8 @@ git archive -o "$OUT/$REPO-HEAD.zip" HEAD echo "creating index.html" cat << EOF > "$OUT/index.html" -$(pageheader "$REPO") - ← <a href=/git.html>list</a> - <center> - <h1>$REPO</h1> - <nav> - <a>index</a>   - <a href=refs.html>refs</a>   - <a href=log.html>log</a>   - <a href=tree.html>tree</a>   - <a href=mail.html>mail</a> - </nav> - <p><i>$(cat description)</i></p> - </center> - <kbd>curl https://dovel.email/$REPO/$REPO.zip</kbd> + $(pagehead "$REPO") + $(pagesummary) <hr> <p>Latest commit: $(git log -n 1 --format="(%h) by %an at %as: %s")</p> <pre>$(cat "$OUT/tree/README"*)</pre> diff --git a/update-repo-log b/update-repo-log index b90b93e..297d307 100755 --- a/update-repo-log +++ b/update-repo-log @@ -74,4 +74,4 @@ cat << EOF <p>Note: Only showing up to 100 commits, for full log clone the repo.</p> </body> </html> -EOF +EOF >> "$OUT/log.html" diff --git a/update-repo-tree b/update-repo-tree index cff98d6..fde4abd 100755 --- a/update-repo-tree +++ b/update-repo-tree @@ -54,4 +54,4 @@ cat << EOF </table> </body> </html> -EOF +EOF >> "$OUT/tree.html"