add networking tools

DFKI-NI · Oct 5, 2023 · a0d20fd · a0d20fd
1 parent 5545a91
commit a0d20fd
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -23,9 +23,13 @@ RUN apt-get update && apt-get -y upgrade \
 RUN apt-get update && apt-get install -y --no-install-recommends \
     curl \
     gnupg2 \
+    iproute2 \
+    iputils-ping \
     lsb-release \
-    sudo \
+    nmap \
+    net-tools \
     software-properties-common \
+    sudo \
     wget \
     && rm -rf /var/lib/apt/lists/*