As part of a project I’ve been working on, I have open sourced a Repo2DockerSpawner for JupyterHub.
This allows the user to select a repo when they spawn a new server (or just use the default ‘blank’ image if they prefer):
It runs repo2docker in a Docker container, and streams logs and the progress bar to the /spawn-pending/ page:
But I still thought this different approach might be useful to some people.
The main differences are:
- User options form supplied as default
- Progress logs displayed
- Runs r2d in a Docker container
- Image name caching is carried out by r2d rather than natively in the spawner
Please let me know if you have any questions!