首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >有没有可能让mybinder从github下载一个'custom.js‘,并使用这个键盘快捷键定制文件来启动docker?

有没有可能让mybinder从github下载一个'custom.js‘,并使用这个键盘快捷键定制文件来启动docker?
EN

Stack Overflow用户
提问于 2019-08-28 20:11:55
回答 1查看 46关注 0票数 0

mybinder可以启动一个基于requirements.txt的定制docker,其中包含需要安装的包,例如

代码语言:javascript
复制
matplotlib
numpy

有没有可能让mybinder从github下载一个'custom.js‘,并使用这个Keyboard Shortcut Customization file来启动docker?

EN

回答 1

Stack Overflow用户

发布于 2019-10-01 00:51:04

您可以在方法here中的mkdir命令之前添加use curl以从Github获取custom.js

票数 0
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/57692132

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档