Skip to content

Changes pull the repo on server start

Frank Berghaus requested to merge fberg/adisworkshop2023:main into main

Hi @smenon

I've made two small additions to your repo:

Add support for collaborative editing in the notebooks

IIRC correctly you wanted to allow for collaborative editing for the last workshop. I presume the same is true this time. The jupyter_collaboration module allows this. You'll see a small share icon at the top right with it installed.

Stashing the repository

The persistent home directory is mounted of the home directory used when repo2docker builds the container for the JupyterHub. So here, I copy this content to a location that will show up in the running notebook. When the notebook server starts, it will fetch and pull the latest changed from your repo and copy the new content to the persistent home directory. Note that the mechanism for this will be implemented in the Notebook server elsewhere.

Cheers, Frank

Merge request reports