| changeset 75279 | 9229f2681db7 |
| parent 75277 | f64725832d63 |
| child 75284 | 5417613efd74 |
| 75278:249fde3aacbf | 75279:9229f2681db7 |
|---|---|
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: run the Electron framework (with its own command-line arguments) |
5 # DESCRIPTION: run the Electron framework (with its own command-line arguments) |
6 |
6 |
7 exec "$ISABELLE_VSCODIUM_HOME/electron" "$@" |
7 exec "$ISABELLE_VSCODIUM_ELECTRON" "$@" |