From 421ac4d4ed4aeebc2f7904e7e559bbe15effb3a5 Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Tue, 27 Apr 2021 10:14:31 +0200
Subject: [PATCH] deeptools: add ps to Dockerfile

---
 src/.docker_modules/deeptools/3.5.0/Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/.docker_modules/deeptools/3.5.0/Dockerfile b/src/.docker_modules/deeptools/3.5.0/Dockerfile
index 3940e390..4680f949 100644
--- a/src/.docker_modules/deeptools/3.5.0/Dockerfile
+++ b/src/.docker_modules/deeptools/3.5.0/Dockerfile
@@ -10,5 +10,6 @@ RUN apt-get update -qq \
         liblzma-dev \
         libcurl4-gnutls-dev \
         libssl-dev \
-        libncurses5-dev
+        libncurses5-dev \
+        procps
 RUN pip3 install deeptools==${DEEPTOOLS_VERSION}
-- 
GitLab