- From: Dan Connolly <connolly@w3.org>
- Date: Wed, 16 Jan 2008 13:45:00 -0600
- To: Jeremy Carroll <jjc@hpl.hp.com>
- Cc: uri@w3.org
On Tue, 2008-01-15 at 11:31 +0000, Jeremy Carroll wrote: [...] > > (Much software would already, non-conformantly, assign file:stdin to the > file named stdin in the current working directory) How wide is the convention that /dev/stdin is stdin? Wide enough for the IETF to reserve file:/dev/stdin for standard input? -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ gpg D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Wednesday, 16 January 2008 19:45:08 UTC