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] .