summaryrefslogtreecommitdiff
path: root/docker/Dockerfile
diff options
context:
space:
mode:
authorChristian Poessinger <christian@poessinger.com>2019-01-26 13:57:01 +0100
committerChristian Poessinger <christian@poessinger.com>2019-01-26 13:57:01 +0100
commitc268053839010c5abbef223498a71a5ecce8a632 (patch)
tree2a252a41c9b465a1f0551619fa62883144f0488d /docker/Dockerfile
parent32bae0ef24706e11d9b072b5d2c99f33c26cf050 (diff)
downloadvyos-build-c268053839010c5abbef223498a71a5ecce8a632.tar.gz
vyos-build-c268053839010c5abbef223498a71a5ecce8a632.zip
Docker: evaluate OPAM environment during build time
Diffstat (limited to 'docker/Dockerfile')
-rw-r--r--docker/Dockerfile3
1 files changed, 3 insertions, 0 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile
index bdbc9fae..b874bf92 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -255,5 +255,8 @@ RUN export LATEST="$(curl -s https://checkpoint-api.hashicorp.com/v1/check/packe
RUN sed "s/^%sudo.*/%sudo\tALL=(ALL) NOPASSWD:ALL/g" -i /etc/sudoers && \
chmod a+s /usr/sbin/useradd /usr/sbin/groupadd /usr/sbin/gosu /usr/sbin/usermod
+# Ensure sure all users have access to our OCAM installation
+RUN echo "$(opam env --root=/opt/opam --set-root)" >> /etc/skel/.bashrc
+
COPY entrypoint.sh /usr/local/bin/entrypoint.sh
ENTRYPOINT ["/usr/local/bin/entrypoint.sh"]