I wrote:
> 
> You can use this command in shell script `uidshell' like this:
> ------------------------------------------------------------------------
> #!/bin/bash
> 
> while true; do
> echo -n "[uid = $1] "`pwd`" $ "
> read a
> b=`echo $a | cut -d' ' -f1`
> if [ "$b" = "cd" ] || [ "$b" = "exit" ]; then
> $a
> else
> setuid $1 $a
> fi
  done
  ^^^^
Forgot to copy that last line.

Eric

-- 
 E.L. Meijer ([EMAIL PROTECTED])          | tel. office +31 40 2472189
 Eindhoven Univ. of Technology             | tel. lab.   +31 40 2475032
 Lab. for Catalysis and Inorg. Chem. (TAK) | tel. fax    +31 40 2455054


--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
[EMAIL PROTECTED] . 
Trouble?  e-mail to [EMAIL PROTECTED] .

Reply via email to