Github template repos could be hugely exciting, I think, as a way of supporting the sharing of base Binder environments, but one thing that could be irritating, and get overlooked, is the tweaking of Binder button paths in README files. At the moment the Binder button link URL take the form of an e…

This is an interesting idea and we should think about it when we work on a new UI for BinderHub. I created https://github.com/jupyterhub/binderhub/issues/880 to collect ideas and mock ups for this. One thing I am pretty sure we will do is have one big input field where you paste a link and it “figur…

[image] psychemedia: perhaps a second way of handling the original referrer also needs to be supported for the federated case, perhaps by rewriting the URL into the actual server URL in the normal way. Why not make this the only way of processing the referrer instead of handling the two cases…

@psychemedia I was bored so made a proof of concept, currently only supports Gists and GitHub repos. Click on the link in the README on [image] manics/mybinder-referrer Example of redirecting to mybinder based on the referrer header - manics/mybinder-referrer …

If you’re using Firefox this doesn’t work in private browsing mode as the referrer path is stripped: https://blog.mozilla.org/security/2018/01/31/preventing-data-leaks-by-stripping-path-information-in-http-referrers/

Nice work! Do you want to make PR to add this to BinderHub? I think because of how the redirecting is done for the federation the referrer will (often) be preserved.

I’ll play around a bit more with the demo, but I’ll open a PR when ready.

Nice… that could make life so much easier! I owe you a(nother) pint / coffee…

Launch from HTTP referrer, autodetect launch URL jupyterhub:master ← manics:autodetect opened 04:38PM - 09 Jul 19 UTC (UTC) [manics] manics …

Binderhub button - 'pull from referrer'

Binder discuss

manics July 9, 2019, 4:39pm 9

Tip: speed up Binder launches by pulling github content in a Binder link with nbgitpuller

Topic		Replies	Views
How do Binder launch links work or "wait I can do that with a link?" Binder	2	1867	April 1, 2019
Launching Github repo into Binder fails Binder	1	353	March 28, 2024
Tip: speed up Binder launches by pulling github content in a Binder link with nbgitpuller discuss tip	73	12165	January 7, 2024
Launching GitHub repository into Binder fails Binder	10	3592	November 21, 2022
Updating binder from changes on github Binder how-to	14	2789	February 1, 2021

Binderhub button - 'pull from referrer'

Related topics