之前一直是在使用cloudstudio作为在线开发的主力工具，但是cloudstudio对于自定义环境实在是不够友好，并且提供的存储空间也相对比较小气。一直以来，我都是在本地的TeXLive或者是overleaf上编写TeX文件的。

我们在本地生成一个镜像，想将其导出后在另一台电脑是使用，则可以通过导出/导入镜像来完成。

Docker 是一个开源的应用容器引擎，让开发者可以打包他们的应用以及依赖包到一个可移植的镜像中，然后发布到任何流行的 Linux或Windows操作系统的机器上，也可以实现虚拟化。容器是完全使用沙箱机制，相互之间不会有任何接口。

最近，群里有小伙伴在倒腾一个叫 Drone 的项目，说它比 Jenkins 更轻量级。