question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Serve an "info" page for a Built Binder

See original GitHub issue

There 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:

  1. What is the “sharable link” for a Binder repository?
  2. What is the github repo link that a Binder repository was built from?
  3. Where are the logs for the build process?
  4. 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:open
  • Created 5 years ago
  • Comments:7 (5 by maintainers)

github_iconTop GitHub Comments

1reaction
choldgrafcommented, May 21, 2018

@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

1reaction
choldgrafcommented, May 21, 2018

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.

Read more comments on GitHub >

github_iconTop 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 >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found