docker-playground/jenkins-common.sh

42 lines
716 B
Bash

network_create() {
NET=$1
echo Creating network $NET_NAME
docker network create --internal --subnet $NET $NET_NAME
}
network_remove() {
echo Removing network $NET_NAME
docker network remove $NET_NAME
}
set -x
# non-jenkins execution: assume local user name
if [ "x$REPO_USER" = "x" ]; then
REPO_USER=$USER
fi
# non-jenkins execution: put logs in /tmp
if [ "x$WORKSPACE" = "x" ]; then
WORKSPACE=/tmp
fi
# non-jenkins execution: put logs in /tmp
if [ "x$BUILD_TAG" = "x" ]; then
BUILD_TAG=nonjenkins
fi
SUITE_NAME=`basename $PWD`
NET_NAME=$SUITE_NAME
VOL_BASE_DIR=`mktemp -d`
VOL_SUITE_DIR=$VOL_BASE_DIR/$SUITE_NAME
mkdir $VOL_SUITE_DIR
rm -rf $WORKSPACE/logs || /bin/true
mkdir -p $WORKSPACE/logs