From c134b24a0a80588cf1a05dc0ec21be029599fd11 Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Mon, 7 Jan 2019 09:35:23 -0800
Subject: update docker build script and add convenience wrapper

---
 misc/docker/build.sh |  1 -
 misc/vm              | 19 +++++++++++++++++++
 2 files changed, 19 insertions(+), 1 deletion(-)
 create mode 100755 misc/vm

(limited to 'misc')

diff --git a/misc/docker/build.sh b/misc/docker/build.sh
index 39313dc5b..d0d1bdfbe 100755
--- a/misc/docker/build.sh
+++ b/misc/docker/build.sh
@@ -26,7 +26,6 @@ rsync -v -acC --delete --filter="- *.pyc" --filter="- /*/" \
   "$BUILD_DIR/misc/tools/" &
 rsync -v -acC --delete \
   misc/fontbuild \
-  misc/fonttools-3.34.2-psCharStrings.patch \
   misc/ttf2woff \
   "$BUILD_DIR/misc/"
 wait
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 "$@"
-- 
cgit v1.2.3