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