Mirrors/VILLASnode
1
0
Fork 0
mirror of https://git.rwth-aachen.de/acs/public/villas/node/ synced 2025-03-09 00:00:00 +01:00
Code Issues Releases Wiki Activity

docker: do not start a new container for every command but reuse an existing one

Browse source
This commit is contained in:
Steffen Vogel 2017-09-03 10:55:33 +02:00
parent 34e9c90f0f
commit 595bb4fe8a
1 changed files with 12 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
tools/docker.sh
View file

@ -33,12 +33,18 @@ fi
DIR=$(realpath $(dirname $(realpath $BASH_SOURCE))/..)
GIT_BRANCH=$(git rev-parse --abbrev-ref HEAD)
# Build image once
"make" docker-dev
DOCKER_IMAGE="villas/node-dev:${GIT_BRANCH}"
DOCKER_PATH=/villas/build/release/:/usr/bin
DOCKER="docker run --rm --tty --env PATH=\"${DOCKER_PATH}\" -v \"${DIR}:/villas\""
if [[ "$(docker images -q ${DOCKER_IMAGE} 2> /dev/null)" == "" ]]; then
"make" docker-dev
fi
# Start container
docker run --rm --entrypoint bash --detach --tty --volume "${DIR}:/villas" ${DOCKER_IMAGE}
DOCKER="docker exec --tty --env PATH=\"/villas/build/release/:/usr/bin:/bin/\" $(docker ps --latest --quiet)"
# Then define alias for make and node
alias make="${DOCKER} --entrypoint make villas/node-dev:${GIT_BRANCH}"
alias villas="${DOCKER} --entrypoint tools/villas.sh villas/node-dev:${GIT_BRANCH}"
alias moby="${DOCKER}"
alias make="${DOCKER} make"
alias villas="${DOCKER} bash tools/villas.sh"