Add a 'Reset to Original' feature?

[pierrepo]

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

It resets a notebook to its original state.

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

[pierrepo]

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

[jtpio]

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

[pierrepo]

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?

[CVandiedonck]

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?