diff options
Diffstat (limited to 'src/ermacs.in')
-rw-r--r-- | src/ermacs.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/ermacs.in b/src/ermacs.in new file mode 100644 index 0000000..77fa8c8 --- /dev/null +++ b/src/ermacs.in @@ -0,0 +1,12 @@ +#!/bin/sh + +BASEDIR=%BASEDIR% + +SLANG_EBIN_DIR=${BASEDIR}/../slang/ebin + +erl -pa ${SLANG_EBIN_DIR} -pa ${BASEDIR}/ebin -pa ${BASEDIR}/mods/ebin \ + -noshell -s edit start $* + +# Can I get bash to run this in response to SIGINT? +stty sane + |