repo2docker is the tool that is used to build the images on mybinder.org . The philosophy behind its design is to reuse files that people already place in their repositories anyway. To keep the effort for making your repository reproducible as small as possible. Now there are a lot of repositories t…

I feel like mybinder.org practically is the repo2docker gui, so a local version would logically take a pretty similar form. The main inputs are the same: repo (a local gui would presumably support a local path, unlike mybinder.org ), and a ref. With local repos, at least, you could have a ref picke…

I like the idea of starting from something similar to mybinder.org ’s landing page. For local repositories it would be cool if we could have a “Open with repo2docker” for folders that are have a high potential to work (would have to define how we figure that out). Allowing people to double click a r…

One question I have here: I like the idea of tightly-scoping repo2docker around what it does now: builds a docker image from a repository. When you mention adding a GUI, do you mean: adding a GUI for repo2docker in BinderHub? Or do you mean: building in the ability for repo2docker to serve webpage…

Lowering the bar for using repo2docker locally and making its (more exotic) features easier to discover is what I am thinking of with “a GUI for repo2docker”. Something like an electron app that lets you drive repo2docker in a way that doesn’t involve the CLI. Ever. The motivation being that I want…

From a user’s perspective, I am totally on-board with the idea, my question pertains more to “where does that tech live?”. Adding a GUI layer to repo2docker would make it a different kind of technology…I’m trying to figure out if this GUI layer makes sense as a part of repo2docker, as a part of Bind…

IMHO making it easier to run thing on r2d locally using a GUI doesn’t solve most of the problem of actually running things locally on r2d. My personal opinion is getting the configuration files right is the hardest part regardless of what interface it is. I realize this is slightly tangential- but …

[image] choldgraf: I’m trying to figure out if this GUI layer makes sense as a part of repo2docker, as a part of BinderHub, or as a different repo/app/etc altogether. Ah! I was thinking this would be totally separate as you can use repo2docker as a library or via its CLI. I don’t think there …

My intuition is the same as yours - I think it’d be great for this to be a separate app. Though ideally something that we could use as a part of something like jupyterhub/binderhub as well

Hmmm… thinks…bits of this discussion remind me of O’Reilly Launchbot: https://blog.ouseful.info/2017/08/30/oreilly-launchbot-like-a-personal-binder-app-for-running-jupyter-notebooks-and-other-containerised-browser-apps/

ooh that’s interesting - first I’ve heard of it! Did your investigations into launchbot ever go anywhere?

What would a repo2docker GUI look like?

Binder discuss

Topic		Replies	Views
The "mybinder.org, deconstructed" guide discuss	3	1303	November 28, 2018
Creating a new Binder-at-home tool Binder idea	14	3975	November 23, 2023
Repo2Docker: make it easy to start from arbitrary docker image discuss	16	3544	April 27, 2019
Repo2docker roadmap review discuss	18	1529	December 12, 2018
Building a "The Littlest BinderHub" BinderHub	9	2199	September 15, 2023

What would a repo2docker GUI look like?

Related topics