From d87e58d91ec94794ad9acf09d0406d279d2a82e9 Mon Sep 17 00:00:00 2001
From: Christophe Garion <tofgarion@runbox.com>
Date: Wed, 8 Mar 2023 15:23:17 +0100
Subject: [PATCH] [docker] remove user id
---
docker/Dockerfile-run | 4 ++--
scripts/run-docker.sh | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/docker/Dockerfile-run b/docker/Dockerfile-run
index fa0591e5..d0e7fc09 100644
--- a/docker/Dockerfile-run
+++ b/docker/Dockerfile-run
@@ -27,8 +27,8 @@ RUN cargo install tokei
RUN opam repository set-url default "https://opam.ocaml.org" && \
opam update
-# install Frama-C and Z3
-RUN opam install frama-c.26.1 z3
+# install Frama-C, Z3 and re
+RUN opam install frama-c.26.1 z3 re
# set shell and PATH for opam
SHELL ["/bin/bash", "-c"]
diff --git a/scripts/run-docker.sh b/scripts/run-docker.sh
index 00dfa1bd..9d97b259 100755
--- a/scripts/run-docker.sh
+++ b/scripts/run-docker.sh
@@ -53,7 +53,7 @@ while true; do
done
# launch docker
-docker run -it --rm --user $(id -u):$(id -g)\
+docker run -it --rm \
--name "lustrec_docker_run" \
-v ${TMP_DIR}:/tmp -v ${PWD}:/home/opam/lustrec \
${CONTAINER_ID} $@
--
GitLab