--UugvWAfsgieZRqgk
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

"Steven M. Bellovin" <smb@cs.columbia.edu> wrote:

> What shell do you use?  As I understand it, /dev/stdout is only
> available on NetBSD if you mount fdesc (see mount_fdesc(8)).  But ksh
> fakes it.

Yes, I do use ksh.  But I had assumed that the existence of /dev/stdout
as a character device would have been sufficient.

I also noticed that under FreeBSD /bin/sh this works, but there I do
happen to have devfs mounted.

Thanks for clearing that up.

Interesting, though, that ksh fakes it.

-Jan

--=20
Of course it runs NetBSD!		http://www.netbsd.org

--UugvWAfsgieZRqgk
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (NetBSD)

iD8DBQFGy5o6fFtkr68iakwRAhr3AKDxjeDQSqBBU6AwXkn5sGw4ISWF3gCfTj7k
fbD+0BTRieRS1U1z1VNwLGE=
=fTqx
-----END PGP SIGNATURE-----

--UugvWAfsgieZRqgk--