2 set path=(/bin /usr/bin /etc /usr/etc )
4 set TMPDIR=/tmp/nfs.dir
6 if ( ! -d $TMPDIR ) then
16 set uchost=`hostname|tr a-z A-Z`.MIT.EDU
17 set uchostrev=`echo $uchost | rev`
19 foreach i ( ${uchost}* )
20 set t1=`echo $i | rev`
21 set dev=`basename $t1 :$uchostrev | rev | sed 's;@;/;g'`
25 ./install_fs $dev < $i
28 # build new credentials file.
29 rm -f /usr/etc/credentials.new
30 cp credentials /usr/etc/credentials.new
33 /usr/etc/mkcred /usr/etc/credentials.new
36 foreach e ( "" .dir .pag)
37 mv /usr/etc/credentials.new$e /usr/etc/credentials$e