Repo containing scripts to be used with dovel, and git hooks that powers our web interface.
Author: blmayer (bleemayer@gmail.com)
Date: Tue Oct 3 14:32:25 2023 -0300
Parent: fe0d874
Fixed style
diff --git a/aux.sh b/aux.sh index 06222fa..4d8b69d 100755 --- a/aux.sh +++ b/aux.sh @@ -22,7 +22,8 @@ pagehead() { font-family: sans-serif; } pre { - font-family: mono monospace; + overflow-x: auto + font-family: mono,monospace; font-weight: bold; background: lightgray; padding: 8px; @@ -30,7 +31,6 @@ pagehead() { } file > pre { line-height: 0.5; - overflow-x: auto } table {width: 100%} th {text-align: left}
diff --git a/post-receive b/post-receive index 0243214..f85c4c3 100755 --- a/post-receive +++ b/post-receive @@ -93,18 +93,12 @@ createcommitpage() { <p>Author: $name ($email)</p> <p>Date: $date</p> <p>Parent: <a href=$parent.html>$parent</a></p> - <p><pre> + <pre>$(cat -)</pre> EOF - - # the rest is the message - cat - } # now the diff - cat <<- EOF - </pre> - <h3>Diff</h3> - EOF + echo "<h3>Diff</h3>" for f in $(git show "$1" --name-only --format='') do