mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
Merge pull request #5846 from cgundogan/pr/vagrantfile_tutorial
vagrant: sync Tutorials folder into vbox
This commit is contained in:
commit
0d901c410f
9
Vagrantfile
vendored
9
Vagrantfile
vendored
@ -7,6 +7,8 @@ Vagrant.configure(2) do |config|
|
||||
# For a complete reference, please see the online documentation at
|
||||
# https://docs.vagrantup.com.
|
||||
|
||||
config.vm.define "RIOT", primary: true
|
||||
|
||||
# Every Vagrant development environment requires a box. You can search for
|
||||
# boxes at https://atlas.hashicorp.com/search.
|
||||
config.vm.box = "boxcutter/ubuntu1604"
|
||||
@ -25,6 +27,13 @@ Vagrant.configure(2) do |config|
|
||||
# config.vm.synced_folder "../data", "/vagrant_data"
|
||||
config.vm.synced_folder ".", "/home/vagrant/RIOT"
|
||||
|
||||
config.vm.define "tutorials", autostart: false do |tutorials|
|
||||
tutorials.vm.synced_folder "../.", "/home/vagrant/Tutorials"
|
||||
config.vm.provider "virtualbox" do |vb|
|
||||
vb.name = "RIOT VM - Tutorials"
|
||||
end
|
||||
end
|
||||
|
||||
# Provider-specific configuration so you can fine-tune various
|
||||
# backing providers for Vagrant. These expose provider-specific options.
|
||||
config.vm.provider "virtualbox" do |vb|
|
||||
|
Loading…
Reference in New Issue
Block a user