jupyterhub / mybinder.org-user-guide

Turn a Git repo into a collection of interactive notebooks. This is Binder's user documentation repository.
https://mybinder.readthedocs.io
BSD 3-Clause "New" or "Revised" License
150 stars 103 forks source link

Update dockerfile.md #241

Closed vaibhavsagar closed 2 years ago

vaibhavsagar commented 2 years ago

It seems that mybinder.org is now launching jupyter-lab instead of jupyter-notebook. I've updated the documentation to reflect this.

betatim commented 2 years ago

Thanks for helping to keep the docs up to date. Did you try running the example docker run ... commands?

vaibhavsagar commented 2 years ago

Not while making the PR, but I ran into this separately: https://github.com/gibiansky/IHaskell/issues/1278.