plasmabio / plasma

Plasma is an e-learning Jupyter-based platform for data analysis

Home Page:https://docs.plasmabio.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add a 'Reset to Original' feature?

pierrepo opened this issue · comments

@CVandiedonck recently had a nice user experience with the "Reset to Original" feature:

2020-04-20_16-17-25

It resets a notebook to its original state.

Are you aware of this feature? Is it a Jupyter Lab extension?

Apparently this feature is provided by the nbhosting projects. Not sure, it can be easily reused...

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)
  2. Stop and restart the server
  3. On the next server startup, the original files will be copied
  4. Running ls ~/materials should give something similar to:
$ ls ~/materials
intro.ipynb    my_notebook.ipynb

Thanks for your input @jtpio
This is indeed a nice way to reset a whole environment, not only the notebook itself but other files as well (data provided within the env for instance).
Of course, this is less straightforward than just pushing a button but it is also more powerfull.

@CVandiedonck do you think it will be sufficient?

I hesitate. I suspect that students who might need to reset the original document are not the ones who will be confortable with coding. The way proposed by @jtpio is more suited for advanced students.
I guess it depends on the complexity of implementing such a button.
Alternativeley, could we add a "help" tool indicating the above solution?