printing from awk into the stderr

[Cliff Stanford]

In article <1991Feb09.065958.22874 at convex.com> tchrist at convex.COM (Tom Christiansen) writes:
>From the keyboard of toad at rubikon.UUCP (Peter Cleve):
>:	print "foo bar" > /dev/stderr
>
>You can only do that if you the system itself supports /dev/stderr,
>not awk.  And the syntax really should be:
>
>	print "foo bar" > "/dev/stderr"

	gawk (gnu awk) fakes it so that print string > "/dev/stderr" works even
under MsDos.
		Cliff.
-- 
Cliff Stanford				Email:	cliff at demon.co.uk (Work)
Demon Systems Limited				cms at demon.co.uk   (Home)
42 Hendon Lane				Phone:	081-349 0063	  (Office)
London	N3 1TT	England				0860 375870	  (Mobile)