diff options
Diffstat (limited to 'Tools/ros/vagrant/docker-host/Vagrantfile')
| -rw-r--r-- | Tools/ros/vagrant/docker-host/Vagrantfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Tools/ros/vagrant/docker-host/Vagrantfile b/Tools/ros/vagrant/docker-host/Vagrantfile index 2e5fcb774..42e63567a 100644 --- a/Tools/ros/vagrant/docker-host/Vagrantfile +++ b/Tools/ros/vagrant/docker-host/Vagrantfile @@ -1,6 +1,9 @@ # -*- mode: ruby -*- # vi: set ft=ruby : +# +# Actual docker host VM to run. +# Vagrant.configure(2) do |config| config.vm.box = "docker-host-base" |