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

b4f4475

Author: blmayer (bleemayer@gmail.com)

Date: Tue Oct 3 14:32:25 2023 -0300

Parent: fe0d874

Fixed style

Diff

aux.sh

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}

post-receive

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