diff options
author | Christian Pointner <equinox@helsinki.at> | 2018-08-08 12:40:42 (GMT) |
---|---|---|
committer | Christian Pointner <equinox@helsinki.at> | 2018-08-08 12:40:42 (GMT) |
commit | cab67196dc458c84a3445173a15a4e1c184e9eaa (patch) | |
tree | 4e1e48aa704a407dd8f58b2136a5d782f85e32ca /_build.sh | |
parent | 021b7e925b605539b1deb201d43959995223ead4 (diff) |
added ffmpeg app image
Diffstat (limited to '_build.sh')
-rwxr-xr-x | _build.sh | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/_build.sh b/_build.sh new file mode 100755 index 0000000..35da7a3 --- /dev/null +++ b/_build.sh @@ -0,0 +1,47 @@ +#!/bin/bash + +img_name="$1" +shift +build_dir="$1" +shift + +function print_usage { + echo "" + echo "Usage: $0 <image-name> <build-dir> [ .. <additional args to docker build> ]" + echo "" + echo " for example:" + echo " $0 docker.helsinki.at/debian:stretch debian/stretch/ --no-cache" + echo " will run:" + echo " docker build -t docker.helsinki.at/debian:stretch --no-cache debian/stretch/" + echo "" +} + +if [ -z "$img_name" ] || [ -z "$build_dir" ]; then + print_usage + exit 1 +fi + +if [ ! -d "$build_dir" ]; then + echo "Error: '$build_dir' is not a directory" + exit 1 +fi + +set -e + +BASE_D="${BASH_SOURCE%/*}" +STAGING_D=$(mktemp -d -t rh-docker-build.XXXX) + +function cleanup { + rm -rf "$STAGING_D" +} +trap cleanup EXIT + +cp -r "$build_dir" "$STAGING_D" +BUILD_D="$STAGING_D"/$(basename "$build_dir") +cp -r "$BASE_D/common" "$BUILD_D/" + + +if [ "$UID" -ne 0 ]; then + exec sudo docker build -t "$img_name" "$@" "$BUILD_D" +fi +exec docker build -t "$img_name" "$@" "$BUILD_D" |