mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-02-05 02:31:01 +08:00
35 lines
1.1 KiB
Ruby
35 lines
1.1 KiB
Ruby
# -*- mode: ruby -*-
|
|
# vi: set ft=ruby :
|
|
|
|
# Vagrantfile API/syntax version. Don't touch unless you know what you're doing!
|
|
VAGRANTFILE_API_VERSION = "2"
|
|
|
|
Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
|
|
|
|
config.vm.box = "precise32"
|
|
config.vm.box_url = "http://files.vagrantup.com/precise32.box"
|
|
|
|
config.ssh.forward_agent = true
|
|
config.ssh.forward_x11 = true
|
|
|
|
# Share an additional folder to the guest VM. The first argument is
|
|
# the path on the host to the actual folder. The second argument is
|
|
# the path on the guest to mount the folder. And the optional third
|
|
# argument is a set of non-required options.
|
|
config.vm.synced_folder ".", "/home/vagrant/paparazzi"
|
|
# disable the default /vagrant share
|
|
config.vm.synced_folder ".", "/vagrant", disabled: true
|
|
|
|
config.vm.provider :virtualbox do |vb|
|
|
# Uncomment to boot with gui instead of headless mode
|
|
#vb.gui = true
|
|
|
|
# Use VBoxManage to customize the VM. For example to change memory:
|
|
vb.customize ["modifyvm", :id, "--memory", "2048"]
|
|
end
|
|
|
|
# install paparazzi packages in VM
|
|
config.vm.provision :shell, :path => "sw/extras/bootstrap_vm.sh"
|
|
|
|
end
|