pipe equivalent to /dev/null ???

[Chris Calabrese]

How about:
	... | cat > /dev/null

Always works for me.

Short of that, it should be a trivial C program.
Something like:

	main() {
		char buffer[1024];
		while(! read(0, buffer, 1024))
			continue;
	}
Name:			Christopher J. Calabrese
Brain loaned to:	AT&T Bell Laboratories, Murray Hill, NJ
att!ulysses!cjc		cjc at ulysses.att.com
Obligatory Quote:	``pher - gr. vb. to schlep.  phospher - to schlep light.philosopher - to schlep thoughts.''