From bbcd680f9cfad821135761bd712b3867317d982f Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Fri, 24 Sep 2021 16:59:04 +0200
Subject: [PATCH] Docker emase: add ps

---
 src/.docker_modules/emase/0.10.16/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/.docker_modules/emase/0.10.16/Dockerfile b/src/.docker_modules/emase/0.10.16/Dockerfile
index 9fd74938..187d2fb6 100644
--- a/src/.docker_modules/emase/0.10.16/Dockerfile
+++ b/src/.docker_modules/emase/0.10.16/Dockerfile
@@ -9,5 +9,6 @@ RUN conda init \
 SHELL ["conda", "run", "-n", "emase", "/bin/bash", "-c"]
 RUN conda install -y -c kbchoi emase \
 && echo "conda activate emase" >> /root/.bashrc
+RUN apt update && apt install -y procps
 
 ENV PATH /usr/local/envs/emase/bin:/usr/local/condabin:$PATH
-- 
GitLab