diff options
Diffstat (limited to 'bin/onl.awk')
| -rw-r--r-- | bin/onl.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/onl.awk b/bin/onl.awk index 89469f3c..30f7e594 100644 --- a/bin/onl.awk +++ b/bin/onl.awk @@ -1,7 +1,7 @@ # Flatten input into one single-space separated line with no unprintable chars # For each line of input ... -{ +{ # Replace groups of spaces and control characters with one space, # implicitly re-splitting the fields gsub(/[\a\b\f\n\r\t\v ]+/, " ") |