From 2ae620cfc9ead06b8eb96ef5bb55a1e56bf11819 Mon Sep 17 00:00:00 2001 From: Rowan Monk Date: Tue, 28 Mar 2023 18:03:40 -0400 Subject: [PATCH] give docker container an entrypoint --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index d5b2817..1876bc1 100644 --- a/Dockerfile +++ b/Dockerfile @@ -98,7 +98,7 @@ RUN sed -i 's#src#builds/release64/bin#g' /workspace/delfi/plan-ipc.py WORKDIR /work -CMD /bin/bash +ENTRYPOINT ["/usr/bin/python", "/workspace/delfi/plan-ipc.py", "--image-from-lifted-task"]