From 79984ea14144e3ea884b7401babfcf19b807073a Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Thu, 18 Feb 2021 10:04:07 +0100
Subject: [PATCH] docker: add ps to macs3

---
 src/.docker_modules/macs3/3.0.0a6/Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/.docker_modules/macs3/3.0.0a6/Dockerfile b/src/.docker_modules/macs3/3.0.0a6/Dockerfile
index 80cf4d26..375b8f63 100644
--- a/src/.docker_modules/macs3/3.0.0a6/Dockerfile
+++ b/src/.docker_modules/macs3/3.0.0a6/Dockerfile
@@ -10,5 +10,6 @@ RUN apt-get update -qq \
         liblzma-dev \
         libcurl4-gnutls-dev \
         libssl-dev \
-        libncurses5-dev
+        libncurses5-dev \
+        procps
 RUN pip install macs3==${MACS3_VERSION}
-- 
GitLab