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