#!/bin/sh
# reroot -- change the root directory in an saord script file

if [ $# -lt "2" ]
then
        echo "Usage: reroot 'script file' 'new dir'" >&2
        exit
fi

if [ -f $1 ]
then 
        file=$1
else
        echo "$1 is not a file" >&2
        exit
fi

dir=$2
if [ ! -d $2 ]
then 
        echo "Warning: $2 is not a directory" >&2
fi

echo "re-rooting script file $file to $dir" >& 2

sed "s:setenv SAORD_ROOT [^\$].*:setenv SAORD_ROOT $dir:" $file > $file.tmp

if test -s $file.tmp
then
	mv $file.tmp $file
	chmod +x $file
else
	echo "edit of $file failed" >&2
	exit
fi