# HG changeset patch
# User wenzelm
# Date 1647346573 -3600
# Node ID 574fb6486c572e193f3c324e2056b0097bb60a40
# Parent  249e900cc05fd84098c40a474a1a9b367a904843
support Node.js as well, reusing the engine from Electron/VSCodium;

diff -r 249e900cc05f -r 574fb6486c57 lib/Tools/node
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/Tools/node	Tue Mar 15 13:16:13 2022 +0100
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+#
+# Author: Makarius
+#
+# DESCRIPTION: run the Node.js framework (with its own command-line arguments)
+
+export ELECTRON_RUN_AS_NODE=1
+exec "$ISABELLE_VSCODIUM_ELECTRON" "$@"