Jeremy Tuloup

This error on the readthedocs page might be relevant: 

This was a transient message which appeared when visiting https://readthedocs.org/, but does not seem to be shown anymore.

@pierrepo I don't have access to the settings of the `plasmabio` organization on GitHub: https://github.com/organizations/plasmabio/settings/profile  Would you mind checking the ReadTheDocs integration looks good there? I believe it should...

Thanks @jvail for reporting. I believe this is right. The `tljh-plasma` plugin uses a custom entrypoint to be able to start the servers as the users on the host machine....

@pierrepo are you able to reproduce this with test users? Also were the users created with the procedure in https://docs.plasmabio.org/en/latest/install/users.html? Or from a CSV file? https://docs.plasmabio.org/en/latest/configuration/batch-users.html#batch-users Normally the permissions of...

That would make sense yes. Although it's also useful to be able to rollback to a previous version in case the new version breaks building environments (although unlikely). Another approach...

For now a user can rename or move the file that comes from the original image, and restart the server: 1. Rename `~/materials/intro.ipynb` to `~/materials/my_notebook.ipynb` (or move it somewhere else)...

Thanks @lachlancampbell for reporting. > Error: DockerError(400, 'no such image: None: invalid reference format: repository name must be lowercase' Out of curiosity, what does the name of the environment look...

There could also be some edge cases where the user would leave the server (closing the tab) and come back to it later from the hub instead of using the...

They would be redirected to the default server that is currently running. If the running server is the same as the one they started with the link, then it should...