2020-01-22 09:58:33 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
set -o errexit -o nounset -o pipefail
|
|
|
|
|
command -v shellcheck > /dev/null && shellcheck "$0"
|
|
|
|
|
|
2020-01-30 19:19:54 +01:00
|
|
|
SCRIPT_DIR="$(realpath "$(dirname "$0")")"
|
2020-01-30 19:28:23 +01:00
|
|
|
# shellcheck source=./env
|
|
|
|
|
# shellcheck disable=SC1091
|
2020-01-30 19:19:54 +01:00
|
|
|
source "$SCRIPT_DIR"/env
|
2020-01-23 12:36:33 +01:00
|
|
|
|
|
|
|
|
# TODO: make this run as UID? Does this matter?
|
|
|
|
|
HOME_DIR="/root"
|
2020-01-22 09:58:33 +01:00
|
|
|
|
|
|
|
|
docker run \
|
|
|
|
|
--rm \
|
|
|
|
|
-it \
|
2020-01-23 12:36:33 +01:00
|
|
|
--mount type=volume,source=wasmcli_data,target=/root/.wasmcli \
|
2020-01-22 09:58:33 +01:00
|
|
|
-w "$HOME_DIR" \
|
|
|
|
|
--env "HOME=$HOME_DIR" \
|
2020-07-23 13:53:27 +02:00
|
|
|
--net "container:$CONTAINER_NAME" \
|
2020-01-23 11:55:08 +01:00
|
|
|
"$REPOSITORY:$VERSION" \
|
|
|
|
|
wasmcli "$@"
|
