pintos-docker

使用docker搭建的pintos+codeserver开发环境

how to use

  docker run -idt -p 8080:8080 huahuaxiaomuzhu/huahuapintos

打开浏览器 127.0.0.1:8080 就可以看到

(要不然你make check的时候会全都挂掉的)

如果有一些你需要的工具没有安装的话，请使用apt-get自行安装，如：

apt-get install git

去https://open-vsx.org/ 下载vsix文件，上传到你的code-server，右键安装即可。

-- 解决perl: warning: Setting locale failed. 在～/.bashrc中添加一句话 export LC_ALL=C 然后source ~/.bashrc