Updated Dockerfile for Binder (#123)

Author: volkm

binder/Dockerfile

@@ -1,11 +1,16 @@
-FROM movesrwth/stormpy:1.7.0
+FROM movesrwth/stormpy:1.8.0
 MAINTAINER Matthias Volk <[email protected]>
 
 
 ##########
 # Create user
 ##########
 
+# Ubuntu base image already uses UID/GID 1000
+# Change it so the Binder user can use 1000
+RUN usermod -u 1001 ubuntu
+RUN groupmod -g 1001 ubuntu
+
 ARG NB_USER=jovyan
 ARG NB_UID=1000
 ENV USER ${NB_USER}
@@ -17,16 +22,24 @@ RUN adduser --disabled-password \
     --uid ${NB_UID} \
     ${NB_USER}
 
+# Change the owner of the virtual environment
+WORKDIR /opt
+USER root
+RUN chown -R ${NB_UID} venv
+USER ${NB_USER}
 
 ##########
 # Install dependencies
 ##########
 
 # Jupyter notebook and Jupyterlab
-RUN pip install --no-cache-dir notebook==6.4.12
-RUN pip install --no-cache-dir jupyterlab==3.4.4
+RUN pip install --no-cache-dir notebook==6.5.4
+RUN pip install --no-cache-dir jupyterlab==4.0.2
+# Use older version of jupyter-server to avoid issue with token
+# see https://github.com/jupyter/notebook/issues/6702#issuecomment-1412832225
+RUN pip install --no-cache-dir jupyter-server==1.24.0
 # Dependencies for stormpy
-RUN pip install --no-cache-dir numpy==1.23.1
+RUN pip install --no-cache-dir numpy==1.24.3
 
 ##########
 # Prepare files for notebooks