From dec104aaf72dbc5f149d1ef8795b57643fc217de Mon Sep 17 00:00:00 2001 From: Mathias Wold <45951843+mathiaswold@users.noreply.github.com> Date: Wed, 25 Jan 2023 13:39:46 +0100 Subject: [PATCH] docker-tools: Fix unused `--image` option --- Util/Docker/docker_tools.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Util/Docker/docker_tools.py b/Util/Docker/docker_tools.py index a8768c81b..923378337 100755 --- a/Util/Docker/docker_tools.py +++ b/Util/Docker/docker_tools.py @@ -55,7 +55,9 @@ def parse_args(): argparser.add_argument( '--image', type=str, - help='Use a specific Carla image. Default: "carla:latest"') + help='Use a specific Carla image. Default: "carla:latest"', + default='carla:latest', + ) args = argparser.parse_args() if not args.output: @@ -83,7 +85,7 @@ def parse_args(): def main(): args = parse_args() - carla_image_name = "carla:latest" + carla_image_name = args.image inbox_assets_path = '/home/carla/carla/Import' client = docker.from_env()