diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2018-01-31 10:16:29 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2018-01-31 10:16:29 +0000 |
commit | d1879533e62e1ea5b35ddd03f9af31c8b85e6f9d (patch) | |
tree | 91bd07d434331f48426f398d680d0d9a0f2d7b1c /docker-run.sh | |
parent | 340fae35d7360eaf71df50ad73af7a65f3381f36 (diff) |
docker-run.sh: New helper script to run script inside docker on localhost
Change-Id: I4d228bf828351be27b83c9086098ae4323829aaf
Diffstat (limited to 'docker-run.sh')
-rwxr-xr-x | docker-run.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docker-run.sh b/docker-run.sh new file mode 100755 index 00000000..414f4109 --- /dev/null +++ b/docker-run.sh @@ -0,0 +1,13 @@ +#!/bin/bash + +set -euf -o pipefail + +. $(dirname $0)/jenkins-helpers.sh +convert_args_to_variables "$@" +shift "$SHIFT_CONVERTED_ARGS" + +trap "container_cleanup" EXIT +$(dirname $0)/start-container-docker.sh "${CONVERTED_ARGS[@]}" > container.sh +. ./container.sh + +container_exec "$@" |