#### Filter that squeezes blank lines, emulating GNU cat -s.
squeeze_lines() {
- awk '!length() && e {next} {e = !length()} 1'
+ awk 'length($0) == 0 && e == 1 { next }
+ { e = length($0) == 0 }
+ { print }'
}
#### Filter that inserts initial whitespace and converts non-breakable