1
#!/usr/bin/env bash
2
#
3
# Author: Makarius
4
5
# DESCRIPTION: run the Electron framework (with its own command-line arguments)
6
7
exec "$ISABELLE_VSCODIUM_HOME/electron" "$@"