#!/bin/csh -f echo chmod 755 $1 echo echo file now public... echo