File: whitespace

package info (click to toggle)
noweb 2.13-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 3,540 kB
  • sloc: sh: 2,580; ansic: 1,829; makefile: 903; perl: 781; lisp: 757; awk: 174; csh: 3
file content (10 lines) | stat: -rw-r--r-- 344 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
 

# whitespace -- noweb filter to make multiple whitespace
#	characters equivalent to a single space, so that
#	<< Hello World>>, <<Hello   World>>, 
#	and <<Hello World   >> all refer to the chunk 
#	<<Hello World>>

sed -e '/^@use /s/[ \t][ \t]*/ /g' -e '/^@defn /s/[ \t][ \t]*/ /g' \
    -e '/^@use /s/[ \t]*$//g' -e '/^@defn /s/[ \t]*$//g'