repo2docker, 将git存储库转换为Jupyter启用的Docker 映像 jupyter-repo2docker jupyter-repo2docker 作为输入存储库源，如 GitHub repo 。 然后构建。运行和/或者推动来自该源的Docker 图像。有关更多信息，请参见 repo2dock

阿格达内核 Jupyter的实验性Agda内核。 在 。 例子 您可以直接通过mybinder界面启动以下示例： 。 或者，如果您有，则可以在本地使用 ： repo2docker https://github.com/lclem/agda-kernel 安装 pip install agda_kernel python -m agda_kernel.install 语法高亮 语法高亮是由单独完成的，但是不幸的是，它没有打包Agda模式。 可以在codemirror-agda/agda.

repo2docker GitHub操作 触发从您的GitHub存储库构建一个启用了Jupyter的Docker映像，并将该映像推送到您选择的Docker注册表中。 这将自动尝试的从存储库中找到的配置文件构建环境。 阅读repo2docker上的完整文档以获取更多信息： ://repo2docker.readthedocs.io 通过这个动作生成的图像被自动地标记与两个latest和对应于相关 。 这两个标签都被推送到用户指定的Docker注册表中。 如果注册表中已存在带有latest标记

repo2docker获取一个git仓库，并根据在该仓库中找到的配置文件构建一个容器映像。 有关使用的更多信息，请参见。 有关支持问题，请搜索或发布到 。 请参阅以了解有关为repo2docker的信息。 使用repo2docker 先决条件 Docker构建和运行存储库。 建议使用。 Python 3.6以上版本。 在Linux和macOS上受支持。 安装 这是安装repo2docker的快速指南，请参阅我们的文档以获取。 要从PyPI安装： pip install jupyt