diff options
author | Mauro Sardara <msardara@cisco.com> | 2022-10-07 15:54:49 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@fd.io> | 2022-10-07 15:54:49 +0000 |
commit | 0b65acf82a4a1199220d4473d426a9da221e9629 (patch) | |
tree | 650f6fe445c636a923bf07b4b8d48c90c2b1a915 /Dockerfile | |
parent | 03fb1444ad41d254469b4749382d1bf2b7cc48da (diff) | |
parent | a61398ad90acdfa4ea0ac03f3d2b9bcbfd7a6dd3 (diff) |
Merge "refactor(hicn-light): cleanup and optimizations to UDP socket face"
Diffstat (limited to 'Dockerfile')
-rw-r--r-- | Dockerfile | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/Dockerfile b/Dockerfile deleted file mode 100644 index ad7f99785..000000000 --- a/Dockerfile +++ /dev/null @@ -1,33 +0,0 @@ -FROM ubuntu:focal -ENV DEBIAN_FRONTEND=noninteractive -WORKDIR /hicn-build - -ARG USERNAME=ubuntu -ARG USER_UID=1000 -ARG USER_GID=${USER_UID} - -COPY Makefile versions.cmake ./ -COPY scripts scripts/ - -USER root - -RUN apt update && apt-get install -y \ - make \ - sudo \ - curl \ - valgrind \ - git \ - zsh - -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= |