#!/bin/bash if [[ $# != 2 ]]; then echo >&2 "Usage $0 BASH_PROGRAM PREFIX" exit 3 fi SH_PROG=$1 PREFIX=$2 typeset -i rc=0 bash_loc=$($SH_PROG -c 'echo ${SHELL}') rc=$? if (( rc != 0 )) ; then echo >&2 "Something went wrong in getting \$SHELL for $SH_PROG" exit $rc fi if [[ -z $bash_loc ]] ; then echo >&2 "Something went wrong in setting bash location from \$SHELL for $SH_PROG" exit 3 fi bashdb_main=$(strings $SH_PROG | grep bashdb) check_loc=$(dirname $(dirname $bashdb_main)) if [[ $PREFIX != $check_loc ]] ; then echo >&2 "bash says prefix should be $check_loc. You gave $PREFIX" exit 4 fi exit 0