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" "$@"