From mboxrd@z Thu Jan  1 00:00:00 1970
From: okamoto@granite.cias.osakafu-u.ac.jp
Message-Id: <200007310439.AAA06131@cse.psu.edu>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] pipefile
Date: Mon, 31 Jul 2000 13:40:34 +0900
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: ee862436-eac8-11e9-9e20-41e7f4b1d025

Interesting.

>	</dev/cons readcmd | rc | writecmd >/dev/cons

What you can do, if you want to change the mode of /dev/cons 
itself before piped to readcmd?  I'm imaging to pipe to the raw 
mode input of /dev/cons.

Kenji