From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <0e0cb432b6b2920c12c7b9bde24f0e27@vitanuova.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] Novice question - run as other
From: rog@vitanuova.com
In-Reply-To: <Pine.LNX.4.44.0403171003040.23850-100000@maxroach.lanl.gov>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Wed, 17 Mar 2004 17:13:58 +0000
Topicbox-Message-UUID: 33d48114-eacd-11e9-9e20-41e7f4b1d025

> well, seems it would be bad if all you had to do to change userid was 
> echo into '#c/user'

but if echo was built in to the shell (as it is in some other systems)
that's all you *would* have to do!