diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2019-01-07 20:35:23 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2019-01-07 20:35:23 +0300 |
| commit | c134b24a0a80588cf1a05dc0ec21be029599fd11 (patch) | |
| tree | 80a77786c607811a8eb4d1c40dd3bbc4a079593e /misc | |
| parent | dfe6b939c719410b73aa965016173b50b5b55995 (diff) | |
| download | inter-c134b24a0a80588cf1a05dc0ec21be029599fd11.tar.xz | |
update docker build script and add convenience wrapper
Diffstat (limited to 'misc')
| -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 "$@" |