diff --git a/imagefiles/dockcross b/imagefiles/dockcross index 1edb446..d6a0758 100755 --- a/imagefiles/dockcross +++ b/imagefiles/dockcross @@ -180,7 +180,7 @@ fi # Now, finally, run the command in a container # tty -s && TTY_ARGS=-ti || TTY_ARGS= -CONTAINER_NAME=dockcross +CONTAINER_NAME=dockcross_$(cat /dev/urandom | tr -dc 'a-zA-Z0-9' | fold -w 7 | head -n 1) docker run $TTY_ARGS --name $CONTAINER_NAME \ -v $PWD:/work \ $USER_IDS \