scripts

42f9324

Author: brian (git@myr.sh)

Date: Wed Sep 20 13:59:12 2023 -0300

Parent: 8c76d77

Adjusted file style

Diff

diff --git a/post-receive-scripts b/post-receive-scripts
index 2a65ca8..a8b4281 100755
--- a/post-receive-scripts
+++ b/post-receive-scripts
@@ -27,7 +27,6 @@ do
cp "$TMP/update-git-index" "$dir/hooks/"
cp "$TMP/update-repo-index" "$dir/hooks/"
cp "$TMP/update-repo-tree" "$dir/hooks/"
-			cp "$TMP/create-file-page" "$dir/hooks/"
done

# for this repo copy scripts
diff --git a/update-repo-tree b/update-repo-tree
index cb1111b..4e6164d 100755
--- a/update-repo-tree
+++ b/update-repo-tree
@@ -26,17 +26,14 @@ createfilepage() {
padding: 20px;
font-family: sans-serif;
}
-		table {width: 100%}
-		th {text-align: left}
pre {
-			white-space: pre-line;
+			white-space: nowrap;
font-family: monospace;
background: lightgray;
padding: 8px;
border-radius: 8px;
+			overflow-x: auto
}
-		ol li {padding-bottom: 10px}
-		tt {font-weight: bold}
@media (prefers-color-scheme: dark) {
pre {background: darkslategray}
}
@@ -89,15 +86,6 @@ cat << EOF > "$OUT/tree.html"
}
table {width: 100%}
th {text-align: left}
-	pre {
-		white-space: pre-line;
-		font-family: monospace;
-		background: lightgray;
-		padding: 8px;
-		border-radius: 8px;
-	}
-	ol li {padding-bottom: 10px}
-	tt {font-weight: bold}
@media (prefers-color-scheme: dark) {
pre {background: darkslategray}
}