mybinder.org-user-guide
mybinder.org-user-guide copied to clipboard
jupyterhub
Turn a Git repo into a collection of interactive notebooks. This is Binder's user documentation repository.
How could we add better error messages when failing to build a project? For [example](https://mybinder.org/v2/gh/gdsfactory/gdsfactory/HEAD) used to work but now it times out
### Bug description According to the guide (https://mybinder.readthedocs.io/en/latest/howto/languages.html#specifying-a-version-of-python) when using the `requirements.txt` file, a second file called `runtime.txt` can be used to specify the python version, but it does not...
This updates a few of our design and theme configuration for an upcoming release of the PyData Sphinx Theme - Updates to the latest pydata theme. closes #264 - **TODO**:...
I did a quick search and couldn't quickly find information on how to build these docs. I think it'd be helpful if we added a short description for others if...
### Context Right now we have a single `About mybinder.org` section that is broken down into "service information" and "project / org" information. In addition, we have a long-ish and...
The [latest version of the pydata theme](https://pydata-sphinx-theme.readthedocs.io/en/latest/index.html) introduces a few extra features that we might want to use in our docs. A few that came to mind: - Landing page...
In https://github.com/jupyterhub/team-compass/issues/508 we discussed a new supporters and donation infrastructure for mybinder.org. We should document these practices in the `about` section of our documentation, in order to make it explicit...
### Bug description The binder links in https://github.com/binder-examples/jupyter-extension do not successfully launch in either JupyterLab or Jupyter Notebook mode. The following image build error is reported: ``` Enabling notebook extension...
Please, add information how to delete a binder image if needed (or at least provide such information in tutorial of FAQ). Will it delete automatically if initial repository is deleted?...
### Bug description Problem connecting to virtuoso db using PyODBC when installing virtuoso-opensource with apt.txt #### Expected behaviour Successful connection to the virtuoso db using PyODBC #### Actual behaviour Problem...
Metadata
Owner
Metadata
Turn a Git repo into a collection of interactive notebooks. This is Binder's user documentation repository.