欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Vagrant
来自开放百科 - 灰狐
Vagrant 是一个构建和分发虚拟化开发环境的工具,使用 VirtualBox 等工具。
安装
Debian
vagrant init chef/debian-8.0
CentOS
vagrant init chef/centos-7.0
Ubuntu
vagrant init chef/ubuntu-15.04
FreeBSD
vagrant init chef/freebsd-10.0
修改 Vagrantfile
Vagrant.configure(2) do |config| config.vm.box = "chef/centos-7.0" config.vm.network "private_network", ip: "192.168.33.10" config.vm.hostname = "node1" end
vagrant up & vagrant ssh
更多:https://vagrantcloud.com/chef
链接
<discussion>characters_max=300</discussion>
分享您的观点