Revert "Added git path (Atiti)" This reverts commit c964d8bbde489b54db02be6e399d9ab364265765. Setting configure to force bash is inappropriate. configure can use any shell with korn or compatible features, and on most systems /bin/sh points to such a shell. Ubutnu breaks compatibility by changing /bin/sh to dash. The solution is to fix Ubuntu, not to break the configure script.

#!/bin/sh

opt="$1"
if [ "x$opt" = "x-f" ]; then
 shift
elif ! ./scripts/check_db_safety; then
 exit 1
fi
ns="$1"

path="`find db/dom/ -ipath '*/ns/'\"$ns\" -size +1c | head -n 1`"
if [ "x$path" = "x" ]; then
 exit 1
fi
cat "$path"