Yeah, I think separate app is definitely the way to go. In the same way that mybinder.org is a web service built on repo2docker’s cli, this would be a local gui app built on repo2docker, consuming its api (could be via cli or python).
When dealing with ephemeral cloud resources, pushing to a private registry is probably sensible to include, so you can build once and run several times. I’d almost call this a “mybinder.org, deconstructed” guide. It’s everything Binder does, but taken as more manual steps on your own terms:
- request cloud resources
- build image with repo2docker (requires installing docker)
- store image in a registry for future use (requires registry credentials;
docker login
being the easiest) - launch a container from the image
- connect to the running notebook (might require cloud firewall configuration)