author | wenzelm |
Wed, 25 Mar 2009 21:34:31 +0100 | |
changeset 30720 | 6d8dcfb264dc |
parent 29143 | 72c960b2b83e |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius # # DESCRIPTION: Isabelle/jEdit interface wrapper ## diagnostics function fail() { echo "$1" >&2 exit 2 } ## main [ -z "$JEDIT_HOME" ] && fail "Missing Isabelle/jEdit installation (JEDIT_HOME)" INTERFACE="$JEDIT_HOME/interface" [ ! -x "$INTERFACE" ] && fail "Bad interface script: \"$INTERFACE\"" exec "$INTERFACE" "$@"