Hey there, I work on mybinder.org.
On Tue, Sep 18, 2018 at 1:41 AM Darya Vanichkina via discuss < [email protected]> wrote: > > Do colaboratory and/or binder and/or any of the other tools deal with > this in an efficient way??? > > Speaking for mybinder.org: Technically yes, in practice probably no. The tool we use behind the scenes to turn a repository into a running docker image is https://repo2docker.readthedocs.io/en/latest/ which you can also use locally. However it uses Docker, so if the setup instructions for the carpentry required software aren't working, chances are that installing Docker won't work either. If you install `pip install jupyter-repo2docker` and then run `repo2docker https://github.com/norvig/pytudes/` in a terminal you get exactly what you'd get if you visited https://mybinder.org/v2/gh/norvig/pytudes/master T -- Let us be your hub hero https://hubhero.net ------------------------------------------ The Carpentries: discuss Permalink: https://carpentries.topicbox.com/groups/discuss/T963f4b806cda01a2-M6ccddc1067af3173e5dd2fae Delivery options: https://carpentries.topicbox.com/groups/discuss/subscription
