Check-in by ben on 2024-06-27 03:07:08

For consistency, add shell prompt to recently added text.

 INSERTED    DELETED
        1          1 readme.txt
        1          1 TOTAL over 1 changed file

Index: readme.txt
==================================================================
--- readme.txt
+++ readme.txt
@@ -19,6 +19,6 @@
I tested this script in recent versions of gawk and mawk.

Older versions of mawk cannot handle character class names.
To run with older versions of mawk, edit like so:

-sed -i mmrtf.awk -e 's/\[:digit:]/0-9/g' -e 's/\[:space:]/ \\t/g'
+$ sed -i mmrtf.awk -e 's/\[:digit:]/0-9/g' -e 's/\[:space:]/ \\t/g'

You are viewing proxied material from bencollver.fairuse.org. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.