Serve an "info" page for a Built Binder
See original GitHub issueThere have been a few moments where people want access to meta information about a Binder from within a live session. A few that come to mind:
- What is the “sharable link” for a Binder repository?
- What is the github repo link that a Binder repository was built from?
- Where are the logs for the build process?
- Something @bitnik implemented - what is the token for my private binder repo so that I can share it with others
What if we created an info/
page that was generated for each Binder repository. This could live at https://hub.mybinder.org/user/<pod-name>/info
and would be a simple page with auto-generated HTML. Perhaps this could be a way to provide this information for people, without making a custom UI edit to the notebook/lab/rstudio/etc UI. What do folks think?
Issue Analytics
- State:
- Created 5 years ago
- Comments:7 (5 by maintainers)
Top Results From Across the Web
Bound services overview
A bound service is the server in a client-server interface. It allows components (such as activities) to bind to the service, send requests, ......
Read more >Binder
Turn a Git repo into a collection of interactive notebooks. Have a repository full of Jupyter notebooks? With Binder, open those notebooks in...
Read more >Introducing Binder 2.0 — share your interactive research ...
Today, we are pleased to announce the Binder 2.0 service and BinderHub framework that are the foundation for a new phase of Binder's...
Read more >The BinderHub Federation
This page lists the BinderHubs that currently help power mybinder.org . ... hubs that each serve a fraction of the traffic created by...
Read more >BinderHub HTTPS - Binder
I got the idea about two IPs from the facts that I can enter both the http binderhub IP and get the binderhub...
Read more >Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start FreeTop Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
Top GitHub Comments
@willingc yep, I believe so. I think the GESIM folks are already using this. Basically, they have a button at the top of their page that, when clicked, gives you the URL to your live session that you can share with others. Presumably for collaboration and sharing live sessions. I think that deployment has different security concerns (e.g. it’s authenticated, I believe), but I thought it was a very interesting idea
In this case I meant “sharing the notebook token for your session so that other people can connect to it”. Not “using private github repos”. I think @willingc and you make a good point re: avoiding sharing personal session tokens, so I’m happy not to have that in there.