isabelle: lib/Tools/electron@deb50d396ff7 (annotated)

75277 f64725832d63 support Electron application framework; wenzelm parents: diff changeset	1	#!/usr/bin/env bash
f64725832d63 support Electron application framework; wenzelm parents: diff changeset	2	#
f64725832d63 support Electron application framework; wenzelm parents: diff changeset	3	# Author: Makarius
f64725832d63 support Electron application framework; wenzelm parents: diff changeset	4	#
75286 29ee987174c0 tuned message; wenzelm parents: 75285 diff changeset	5	# DESCRIPTION: run the Electron.js framework within the Isabelle environment
75277 f64725832d63 support Electron application framework; wenzelm parents: diff changeset	6
75285 2b64d5657592 clarified errors; wenzelm parents: 75284 diff changeset	7	if [ -z "$ISABELLE_VSCODIUM_ELECTRON" ]; then
2b64d5657592 clarified errors; wenzelm parents: 75284 diff changeset	8	echo '*** Undefined $ISABELLE_VSCODIUM_ELECTRON: missing "vscodium" component'
2b64d5657592 clarified errors; wenzelm parents: 75284 diff changeset	9	exit 2
2b64d5657592 clarified errors; wenzelm parents: 75284 diff changeset	10	else
2b64d5657592 clarified errors; wenzelm parents: 75284 diff changeset	11	exec "$ISABELLE_VSCODIUM_ELECTRON" "$@"
2b64d5657592 clarified errors; wenzelm parents: 75284 diff changeset	12	fi