Ideas: UI for propagating changes to user enviroments

[arokem]

In the context of a workshop such as this one, there is a repo, or maybe a few repos, that are updated using nbgitpuller. Often, instructors make last-minute changes, and the pull has to happen in the middle of a teaching day, while participants are logged in and for this to take effect, participants have to restart their servers. Or call gitpuller /nh/curriculum master ~/curriculum (or possibly multiple such commands). It would be neat if there was a button they could click that would run these commands.

[arokem]

Not for this time! I mean, as something we can put in our post-mortem for recommendations for future work!

[arokem]

Similarly, the instruction "restart your server" is often misunderstood. This could be clarified with an explanation of how to do that (and maybe a video), but it does currently require 5 clicks. It might be good to have a button, or menu option that does this (possible with an additional "you are about to restart your server. Are you sure?" prompt before doing the real thing).

[consideRatio]

Great idea @arokem! I think this may be a feature request first and foremost to JupyterHub, to not only support a stop and start, but a restart request.