环境管理

如何管理和分享环境?

什么是环境

环境(Environment)是WebIDE指将终端所操控的系统环境(包括代码,修改过的文件和通过 apt-get 安装的软件等)。每个Workspace可以配置多个环境,和终端关联的环境称为当前环境。环境本质是一个Docker的Container实例。从用户的视角,环境是一个云端的操作系统。

如何管理环境

点击右边的环境设置『Environment』图标,弹出环境设置 tab,选择某个环境后,点击『Use』即可以使用此环境。

如何保存环境

光标移至当前环境,点击『 Save 』将当前环境命名并保存起来,这样同一项目的成员就可以在进入这个项目的时候使用相同的环境进行了。

  • 『Reset』会将当前的环境重置到初始环境,请慎重使用
  • 将环境保存并命名后结果如下:

如何切换和分享环境

当存在多个环境后,选中目标环境,点击『Use』可以切换到此环境,切换时当前的 Terminal 会被终止, 然后 Terminal 重新连接到刚才选择的 Environment。

相关文章