#! /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