diff --git a/dockerfiles/devenv.Dockerfile b/dockerfiles/devenv.Dockerfile index 51ec3f29081117bfc9ef7e7b7305f1f11a3861a4..99405b16c6e110dfefa92e178ffb9d8904f2fa5f 100644 --- a/dockerfiles/devenv.Dockerfile +++ b/dockerfiles/devenv.Dockerfile @@ -42,6 +42,7 @@ RUN apt-get update && apt-get -y install --no-install-recommends \ net-tools \ openssh-client \ terminator \ + trash-cli \ valgrind \ xterm \ wget \