diff options
Diffstat (limited to 'Dockerfile.dev')
-rw-r--r-- | Dockerfile.dev | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Dockerfile.dev b/Dockerfile.dev index 43a0c4555..326f4676c 100644 --- a/Dockerfile.dev +++ b/Dockerfile.dev @@ -5,6 +5,10 @@ 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 \ @@ -14,4 +18,13 @@ RUN apt update && apt-get install -y \ 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= |