diff options
Diffstat (limited to 'scripts/command/docker-shell')
-rw-r--r--[-rwxr-xr-x] | scripts/command/docker-shell | 23 |
1 files changed, 5 insertions, 18 deletions
diff --git a/scripts/command/docker-shell b/scripts/command/docker-shell index f4834f2ff..1f942cedb 100755..100644 --- a/scripts/command/docker-shell +++ b/scripts/command/docker-shell @@ -1,24 +1,11 @@ #!/bin/bash -SCRIPT_ROOT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" +source "${NNFW_SCRIPT_PATH}/config/docker.configuration" -source $SCRIPT_ROOT/common.sh - -HOST_HOME=$SCRIPT_ROOT/../.. -DOCKER_HOME=/home - -GIT_SSL_NO_VERIFY=1 - -DOCKER_VOLUMES+=" -v $HOST_HOME:$DOCKER_HOME" - -DOCKER_ENV_VARS+=" -e http_proxy" -DOCKER_ENV_VARS+=" -e no_proxy" -DOCKER_ENV_VARS+=" -e GIT_SSL_NO_VERIFY" - -DOCKER_RUN_OPTS="--rm" -DOCKER_RUN_OPTS+=" -w $DOCKER_HOME" DOCKER_RUN_OPTS+=" -it" +docker run $DOCKER_RUN_OPTS $DOCKER_ENV_VARS $DOCKER_VOLUMES $DOCKER_IMAGE_NAME "/bin/bash" +EXITCODE=$? -CMD="/bin/bash" +docker_cleanup -docker run $DOCKER_RUN_OPTS $DOCKER_ENV_VARS $DOCKER_VOLUMES $DOCKER_IMAGE_NAME $CMD +exit $EXITCODE |