diff --git a/setup/scripts/l3d b/setup/scripts/l3d index 4b98c1edaed6f565c1da9fc06f6d0691a354dbea..02dbd84f04e45c864718d4481d02c821d16e04bd 100755 --- a/setup/scripts/l3d +++ b/setup/scripts/l3d @@ -1,5 +1,5 @@ #!/bin/bash -ID=$(docker container ls --all -q -f name=l3drun) +ID=$(docker container ls --all -q -f name=^l3drun$) if [[ ! -n ${ID} ]]; then SCRIPTPATH="$( cd "$(dirname "$0")" ; pwd -P )" docker run --name=l3drun -dt --rm \