Install GNU time via apt

support-requests#14

Install GNU time via apt
support-requests#14
a7696d1d · Nicolas M. Thiéry · b8dae359 · a7696d1d
Commit a7696d1d authored Jan 20, 2021 by Nicolas M. Thiéry
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

Dockerfile Dockerfile +1 -0

No files found.
--- a/Dockerfile
+++ b/Dockerfile
@@ -11,6 +11,7 @@ RUN apt-get update && \
        openssh-client rsync unison less tree curl gdb imagemagick libopenjp2-7 \
        ocaml rlwrap \
        net-tools traceroute iputils-ping \
+        time \
        dbus-x11 xfce4 xfce4-panel xfce4-session xfce4-settings xorg xubuntu-icon-theme && \
    apt-get clean && \
    rm -rf /var/lib/apt/lists/*