1 files changed, 19 insertions, 0 deletions
diff --git a/misc/vm b/misc/vm
new file mode 100755
index 000000000..cea5e8687
--- /dev/null
+++ b/misc/vm
@@ -0,0 +1,19 @@
+#!/bin/bash -e
+#
+# Invokes provided arguments in a prebuilt docker image that contains
+# the Inter UI toolchain.
+#
+cd "$(dirname "$0")/.."
+
+RUN_ARGS=-it
+if [[ "$1" == "--no-tty" ]]; then
+  RUN_ARGS=-i
+  shift
+elif [[ "$1" == "-h" ]] || [[ "$1" == "--help" ]]; then
+  echo "Run Inter UI build environment virtual machine using docker." >&2
+  echo "usage: $0 [--no-tty] [<arg> ...]" >&2
+  echo "--no-tty   Do not run with TTY input device emulation (useful for scripting)" >&2
+  exit 1
+fi
+
+docker run --rm $RUN_ARGS -v "$PWD:/host" rsms/inter-ui-build:latest "$@"