Replace comments patch with an AWK script

[khome.git] / patch-comments

diff --git a/patch-comments b/patch-comments
new file mode 100755 (executable)
index 0000000..f7a5f6f
--- /dev/null
+++ b/patch-comments
@@ -0,0 +1,13 @@
+#! /usr/bin/awk -f
+
+FILENAME ~ /\.comments$/ {
+    commented[$1] = $0
+    next
+}
+
+commented[$1] {
+    print commented[$1]
+    next
+}
+
+1