#!/bin/sh bin=$(dirname $0 ||echo "/usr/local/bin/") if [ -x "$bin/mksh" ]; then exec "$bin/mksh" "$@" else exec bash "$@" fi