function DoChangeProfileSource() {
src_literal=$1
dest_literal=$2
((rc=0))
for script_name in `echo "$SCRIPTS"|grep .|grep -v '^#'` ; do
echo "(editing $script_name)"
ed $script_name <<! > /dev/null
g?^\. /home/$src_literal/\.profile\$?s?$src_literal?$dest_literal?
w
q
!
if [ $? -ne 0 ]
then
echo "$script_name: error editing the script"
((rc=1))
fi
done
return $rc
}