big changes: themed up, sorted up, some fixes and libs

2025-10-06 17:15:47 +02:00
parent 7afe0d8f34
commit dc45f26299
18 changed files with 997 additions and 740 deletions
--- a/src/lib/awk/lib.awk
+++ b/src/lib/awk/lib.awk
@@ -0,0 +1,7 @@
+# Awk methods commonly used
+
+# Escape string
+function escape(s) {
+  gsub("&", "\\\\&", s)
+  return s
+}