From f7bb41b915bbfed9cf512144d89851734e564829 Mon Sep 17 00:00:00 2001 From: Santiago Ospina De Los Rios <sospinar@gmail.com> Date: Thu, 5 Oct 2023 11:03:19 +0200 Subject: [PATCH] Use dune-copasi instead of dune-copasi-sd and dune-copasi-md --- docker/deploy.dockerfile | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/docker/deploy.dockerfile b/docker/deploy.dockerfile index b029d163f..82481203c 100644 --- a/docker/deploy.dockerfile +++ b/docker/deploy.dockerfile @@ -21,10 +21,9 @@ USER dunecopasi WORKDIR /dunecopasi # run help and expect no error signal -RUN dune-copasi-md --help -RUN dune-copasi-sd --help +RUN dune-copasi --help # set default mout point to be /dunecopasi (same as workdir!) VOLUME ["/dunecopasi"] # run dune-copasi-md by default when running the image -ENTRYPOINT ["dune-copasi-md"] +ENTRYPOINT ["dune-copasi"] -- GitLab