Skip to content

Commit

Permalink
Adding extension enabling use of Jupyterhub user sharing API (#220)
Browse files Browse the repository at this point in the history
Co-authored-by: gonimoro <>
  • Loading branch information
gonimoro authored Nov 27, 2024
1 parent 7052495 commit b423374
Showing 1 changed file with 11 additions and 1 deletion.
12 changes: 11 additions & 1 deletion single-user-eosc/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,17 @@ RUN mamba install -y --quiet \
RUN pip install --no-cache-dir \
h5glance \
nbtop \
panel
panel \
#User sharing extension, requires Jupyterhub 5,
#enabled sharing API and granted permission to
#oauth token to be able to share an access to a server
#https://jupyterhub.readthedocs.io/en/stable/tutorial/sharing.html
git+https://gitlab.cesnet.cz/702/projekty/eosc-notebooks/user-sharing-extension

#This needs to be run because for some reason, Jupyter server
#does not list server extension without this command, even though
#config for auto-enable is present in the extension
RUN jupyter server extension enable user_sharing_extension

# EOSC customisation
# TODO: trigger image build on changes to these files
Expand Down

0 comments on commit b423374

Please sign in to comment.