From b0e84a21c39bd2eb1233a2a88ae5f808bf33d588 Mon Sep 17 00:00:00 2001
From: BIGAUD Nathan <nathan.bigaud@inria.fr>
Date: Mon, 15 May 2023 17:12:51 +0200
Subject: [PATCH] Adding ENV to dockerfile for script file customization
---
docker/Dockerfile | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/docker/Dockerfile b/docker/Dockerfile
index cf614a2c..e829b4a4 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -16,4 +16,5 @@ ENV PATH="$VIRTUAL_ENV/bin:$PATH"
RUN pip install declearn[all]
# Create env variables
# Run script
-CMD ["bash", "experiment/run.sh"]
+ENV script="experiment/run.sh"
+CMD ["bash", ${script}]
--
GitLab