diff options
| -rwxr-xr-x | contrib/create_container | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/contrib/create_container b/contrib/create_container index 01fc835..490886f 100755 --- a/contrib/create_container +++ b/contrib/create_container @@ -17,7 +17,9 @@ ########################################## CURDIR=$(cd $(dirname $0) && pwd -P) +PREFIX=agl-worker DEFIMAGE=$(make -s -C $CURDIR/.. show-image) +OCCUPIED_ID=$(docker ps -a -f name=${PREFIX} --format "{{.Names}}" | grep -oE "[0-9]" | sort -n | sed ':a;N;$!ba;s/\n/ /g') function usage() { echo "Usage: $(basename $0) <instance ID> [image name]" >&2 @@ -39,7 +41,18 @@ IMAGE=${2:-$DEFIMAGE} USER=$(id -un) echo "Using instance ID #$ID (user $(id -un))" -NAME=agl-worker-$(hostname|cut -f1 -d'.')-$ID-$USER +NAME=${PREFIX}-$(hostname|cut -f1 -d'.')-$ID-$USER + +for n in $(docker ps -a -f name=${PREFIX} --format "{{.Names}}") +do + if [ $NAME = $n ] + then + echo "This id is already taken." + echo "Please choose anohter one." + echo "Already taken id are: ${OCCUPIED_ID}" + exit 2 + fi +done MIRRORDIR=$HOME/ssd/localmirror_$ID XDTDIR=$HOME/ssd/xdt_$ID |