"Open with Binder" browser extension.

41 views
Skip to first unread message

Matthias Bussonnier

unread,
Nov 22, 2017, 1:49:43 PM11/22/17
to jup...@googlegroups.com, binderhub-dev
Hi all,

I just released a Firefox extensions to open the current repository
you are browsing with MyBinder.org... for when there is no binder
badge and you don't want to spend time copy/pasting[0].

If you are on Firefox (I think 54+) you can just head here [1] and
click install. Not yet available for other browsers.

I would love feedback, testing and contributions (lots of things not
code related) ! As it is really the beginning of the project there are
many really low hanging fruits. If you want to know more on how I
wrote this staggering 27[2] lines of Javascript I wrote a bit about
the process [3].

Happy Binding !
--
Matthias

0: https://xkcd.com/1205/
1: https://addons.mozilla.org/en-US/firefox/addon/open-with-binder/
2: https://github.com/Carreau/open-with-binder-firefox-extension/blob/master/content_scripts/binderify.js
3: https://carreau.github.io/posts/31-open-in-binder-browser-extension.html

Damián Avila

unread,
Nov 23, 2017, 3:18:04 PM11/23/17
to jup...@googlegroups.com, binderhub-dev
Nice! Thanks for sharing it, Matthias!


--
You received this message because you are subscribed to the Google Groups "Project Jupyter" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jupyter+unsubscribe@googlegroups.com.
To post to this group, send email to jup...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/CANJQusUT9c%3DgA0ZDZhWHrC22_To%2BP3L4WVbOZpKg5_Tr0%2BGo7Q%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.



--
Damián Avila

Matthias Bussonnier

unread,
Nov 24, 2017, 5:03:29 AM11/24/17
to jup...@googlegroups.com
Thanks Damián !

I've pushed an update yesterday, it now understand the current
branch/commit/tag and file you are browsing and (should) launch binder
at this branch/commit/tag and file.
If you've already installed, it should autoupdate otherwise head there
for Firefox users:
https://addons.mozilla.org/en-US/firefox/addon/open-with-binder/

I'm wondering how much interest there is to have the same for Chrome.
It (should) works but you have to pay the Chrome Developer Fee to
publish an extension, so I want to make sure there will be users
before paying for it. So if you can answer this poll:
https://twitter.com/Mbussonn/status/933746729828134912

That would help me to judge.
--
M
>> email to jupyter+u...@googlegroups.com.
>> To post to this group, send email to jup...@googlegroups.com.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/jupyter/CANJQusUT9c%3DgA0ZDZhWHrC22_To%2BP3L4WVbOZpKg5_Tr0%2BGo7Q%40mail.gmail.com.
>> For more options, visit https://groups.google.com/d/optout.
>
>
>
>
> --
> Damián Avila
>
> --
> You received this message because you are subscribed to the Google Groups
> "Project Jupyter" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to jupyter+u...@googlegroups.com.
> To post to this group, send email to jup...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/jupyter/CAH%2BmRR0Txk2a3aALzyDK%2BKZgvbqi8f95vhO1SbdwP2ADxWFVcw%40mail.gmail.com.

Damián Avila

unread,
Nov 24, 2017, 5:44:23 AM11/24/17
to jup...@googlegroups.com
I'm wondering how much interest there is to have the same for Chrome.

I was going to ask about that.
I have already replied to your poll.
In fact, I use chrome and firefox on a daily basis and I would love to see it in chrome as well.

Cheers. 


>> To post to this group, send email to jup...@googlegroups.com.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/jupyter/CANJQusUT9c%3DgA0ZDZhWHrC22_To%2BP3L4WVbOZpKg5_Tr0%2BGo7Q%40mail.gmail.com.
>> For more options, visit https://groups.google.com/d/optout.
>
>
>
>
> --
> Damián Avila
>
> --
> You received this message because you are subscribed to the Google Groups
> "Project Jupyter" group.
> To unsubscribe from this group and stop receiving emails from it, send an

> To post to this group, send email to jup...@googlegroups.com.
> To view this discussion on the web visit
> For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "Project Jupyter" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jupyter+unsubscribe@googlegroups.com.

To post to this group, send email to jup...@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.



--
Damián Avila
Reply all
Reply to author
Forward
0 new messages