#!/bin/sh BASEDIR=%BASEDIR% SLANG_EBIN_DIR=${BASEDIR}/../slang/ebin erl -pa ${SLANG_EBIN_DIR} -pa ${BASEDIR}/ebin -pa ${BASEDIR}/mods/ebin \ -pa ${BASEDIR}/../msc/ebin -noshell -s edit start $* # How do I get sh to run this in response to SIGINT? stty sane