From 7cb9ca5d0fb425f4c3ada731cd917846f64a2d59 Mon Sep 17 00:00:00 2001
From: Adam Janovsky
Date: Sun, 1 May 2022 19:27:37 +0200
Subject: Binder now requires Jupyterlab as well

---
 docker/Dockerfile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'docker')

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 2c138d46..02922496 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -19,8 +19,8 @@ RUN apt-get install default-jdk -y
 RUN apt-get install graphviz -y
 
 RUN adduser --disabled-password \
-    --gecos "Default user" \
-    ${USER}
+  --gecos "Default user" \
+  ${USER}
 USER ${USER}
 WORKDIR ${HOME}
 
@@ -40,10 +40,10 @@ ENV PATH="${VENV_PATH}/bin:$PATH"
 
 # Install dependencies, notebook is because of mybinder.org
 RUN \
-    pip3 install -U pip && \
-    pip3 install wheel && \
-    pip3 install -r requirements/requirements.txt && \
-    pip3 install --no-cache notebook
+  pip3 install -U pip && \
+  pip3 install wheel && \
+  pip3 install -r requirements/requirements.txt && \
+  pip3 install --no-cache notebook jupyterlab
 
 # #just to be sure that pdftotext is in $PATH
 ENV PATH /usr/bin/pdftotext:${PATH}
-- 
cgit v1.3.1