| changeset 75285 | 2b64d5657592 |
| parent 75284 | 5417613efd74 |
| child 75286 | 29ee987174c0 |
| 75284:5417613efd74 | 75285:2b64d5657592 |
|---|---|
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: run the Electron framework within the Isabelle environment |
5 # DESCRIPTION: run the Electron framework within the Isabelle environment |
6 |
6 |
7 exec "$ISABELLE_VSCODIUM_ELECTRON" "$@" |
7 if [ -z "$ISABELLE_VSCODIUM_ELECTRON" ]; then |
8 echo '*** Undefined $ISABELLE_VSCODIUM_ELECTRON: missing "vscodium" component' |
|
9 exit 2 |
|
10 else |
|
11 exec "$ISABELLE_VSCODIUM_ELECTRON" "$@" |
|
12 fi |