diff options
-rw-r--r-- | bin/onl.awk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/onl.awk b/bin/onl.awk index 15e4f46d..89469f3c 100644 --- a/bin/onl.awk +++ b/bin/onl.awk @@ -2,8 +2,9 @@ # For each line of input ... { - # Strip out whitespace characters and rebuild the fields - gsub(/[\n\t\r ]+/, "") + # Replace groups of spaces and control characters with one space, + # implicitly re-splitting the fields + gsub(/[\a\b\f\n\r\t\v ]+/, " ") # Print each field, without a newline; add a leading space if it's not the # very first one |