欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Project Atomic
来自开放百科 - 灰狐
（版本间的差异）
小 (→核心组件) |
小 (→指南) |
||
| 第11行： | 第11行： | ||
==指南== | ==指南== | ||
$ vagrant init centos/atomic-host && vagrant up --provider virtualbox | $ vagrant init centos/atomic-host && vagrant up --provider virtualbox | ||
| + | vagrant ssh | ||
==图集== | ==图集== | ||
2016年1月24日 (日) 05:08的版本
Project Atomic 是 Red Hat 发起的面向 Docker 容器应用的轻量级操作系统项目，类似 CoreOS。
目录 |
版本
核心组件
指南
$ vagrant init centos/atomic-host && vagrant up --provider virtualbox vagrant ssh
图集
链接
分享您的观点
