diff options
Diffstat (limited to 'Dockerfile.dev')
-rw-r--r-- | Dockerfile.dev | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Dockerfile.dev b/Dockerfile.dev index 9c96193a9..326f4676c 100644 --- a/Dockerfile.dev +++ b/Dockerfile.dev @@ -5,12 +5,26 @@ WORKDIR /hicn-build COPY Makefile versions.cmake ./ COPY scripts scripts/ +ARG USERNAME=ubuntu +ARG USER_UID=1000 +ARG USER_GID=${USER_UID} + RUN apt update && apt-get install -y \ make \ sudo \ curl \ + valgrind \ git RUN make deps debug-tools +# Add non-root user +RUN groupadd --gid ${USER_GID} ${USERNAME} && \ + useradd -s /bin/bash --uid ${USER_UID} --gid ${USER_GID} -m ${USERNAME} && \ + echo ${USERNAME} ALL=\(root\) NOPASSWD:ALL >/etc/sudoers.d/${USERNAME} && \ + chmod 0440 /etc/sudoers.d/${USERNAME} + +USER ${USERNAME} +WORKDIR /home/${USERNAME} + ENV DEBIAN_FRONTEND= |