From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <02e101c37261$12772c20$b9844051@insultant.net>
From: "boyd, rounin" <boyd@insultant.net>
To: <9fans@cse.psu.edu>
References: <b7c439f3159eb62cbfc4633d38fa86d9@plan9.bell-labs.com>
Subject: Re: [9fans] is there any good reason why awk does this?
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
Date: Wed,  3 Sep 2003 23:19:33 +0200
Topicbox-Message-UUID: 2b815f74-eacc-11e9-9e20-41e7f4b1d025

> I think you're wrong.  The only occurrence of /dev/std* in the source
> is in a table that makes them work in awk programs.  That is,
>
> awk 'BEGIN {print "hello world" >"/dev/stderr" }'

noted.

> works because of that table.  It's not a bug.

maybe.