- # Convert the from the filename HOST.@dev@device.type to /dev/device
- set dev=`echo $i | sed "s,.${type},," | sed "s,${uchost}.,," | sed "s,@,/,g"`
- echo ${uchost}:$dev
- ./install_${type} $dev < $i
- if ($status) exit $status
+ if (-e $i) then
+ # Convert the from the filename HOST.@dev@device.type to /dev/device
+ set dev=`echo $i | sed "s,.${type},," | sed "s,${uchost}.,," | sed "s,@,/,g"`
+ echo ${uchost}:$dev
+ ./install_${type} $dev < $i
+ if ($status) exit $status
+ if ($type == quotas) ./zero_quotas $dev < $i
+ if ($status) exit $status
+ # save the files used here for later debugging
+ mv $i /tmp
+ endif