#! /bin/csh # This script converts all filesets into normal ones: i.e. filesets not # containing any CDF names. # Do NOT use this script without exactly knowing what you're doing ! # I am NOT responsible for any damage caused by this script !! # # Kees Lemmens; Dec. 10 1995 set BASE=/etc/filesets foreach file ( `ls $BASE` ) #foreach file ( `cat filesetswithplus` ) # file with names mv $BASE/$file $BASE/$file.old sed -e 's/+\/HP-PA//' < $BASE/$file.old >$BASE/$file echo rm $BASE/$file.old end