changeparent: change parent of Poly/ML database.
#!/bin/bash
#
# DESCRIPTION: change parent of Poly/ML database
#
PRG=$(basename $0)
function usage()
{
echo
echo "Usage: $PRG DB PARENT"
echo
echo " Change parent of Poly/ML database DB to PARENT (full path name!)."
echo
exit 1
}
function fail()
{
echo "$1"
exit 2
}
## main
[ $# -ne 2 ] && usage
DB="$1"
PARENT="$2"
case "$ML_SYSTEM" in
polyml-*)
[ ! -w "$DB" ] && fail "Database not writable: $DB"
$POLYML_HOME/changeParent "$DB" "$PARENT"
;;
*)
fail "You're not set up for Poly/ML!"
;;
esac