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