Nice! Thanks for sharing it, Matthias! 2017-11-22 15:49 GMT-03:00 Matthias Bussonnier <[email protected] >:
> 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 > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > 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 [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/CAH%2BmRR0Txk2a3aALzyDK%2BKZgvbqi8f95vhO1SbdwP2ADxWFVcw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
