how to double space text? - (nf)

[merlyn at sequent.UUCP]

ONLY TURKEYS SHOULD GOBBLE THIS LINE... (others can ignore)

>> In our (Sys III) system, any of the following double space text:
>> 
>> 	pr -t -d [filename]
>> 
>> 	awk '{ print $0; print }'
>> 
>> 	while read x; do echo "$x\\n"; done
>> 
>> Take your pick.
>> 
>> John Levine, ima!johnl

Cute... don't try the awk one... it prints EVERY LINE twice, not double
space.  In awk (pretty sure this has been this way since V7, Sys III, X.XBSD
etc.) "print" without args is like "print $0".  Too bad.  print "" works
though.

Randal L. Schwartz, esq. (creator of rediculously long AWK programs)
Sequent Computer Systems, Inc.
UUCP: ...!tektronix!ogcvax!sequent!merlyn
BELL: (503)626-5700