| author | wenzelm |
| Sat, 20 Dec 2008 11:39:27 +0100 | |
| changeset 29143 | 72c960b2b83e |
| parent 28649 | 58ab885469f5 |
| permissions | -rwxr-xr-x |
| 28649 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
5 |
# DESCRIPTION: Isabelle/jEdit interface wrapper |
|
6 |
||
7 |
||
8 |
## diagnostics |
|
9 |
||
10 |
function fail() |
|
11 |
{
|
|
12 |
echo "$1" >&2 |
|
13 |
exit 2 |
|
14 |
} |
|
15 |
||
16 |
||
17 |
## main |
|
18 |
||
19 |
[ -z "$JEDIT_HOME" ] && fail "Missing Isabelle/jEdit installation (JEDIT_HOME)" |
|
20 |
||
21 |
INTERFACE="$JEDIT_HOME/interface" |
|
22 |
[ ! -x "$INTERFACE" ] && fail "Bad interface script: \"$INTERFACE\"" |
|
23 |
||
24 |
exec "$INTERFACE" "$@" |