diff options
| -rwxr-xr-x | misc/docker/build.sh | 1 | ||||
| -rwxr-xr-x | misc/vm | 19 |
2 files changed, 19 insertions, 1 deletions
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 "$@" |