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 C29EReceived on Wednesday, 16 January 2008 19:45:08 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 16 January 2008 19:45:09 GMT