diff options
| author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2018-08-30 23:11:02 +0100 |
|---|---|---|
| committer | Anders Broman <a.broman58@gmail.com> | 2018-08-31 05:53:13 +0000 |
| commit | 65a95123ced5ca603e22c70b9737ac7968e4d98f (patch) | |
| tree | 65ddfb901864822eedc787a3f41a9194bd57a6f7 /Vagrantfile | |
| parent | 4d6c253ca92c91dafff6f5ad23f94d7e32b8f125 (diff) | |
vagrant: Mount synced folder under home
Change-Id: Ib533f762f110d45d3daae6b5ccb6e3d243f60058
Reviewed-on: https://code.wireshark.org/review/29361
Reviewed-by: Anders Broman <a.broman58@gmail.com>
Diffstat (limited to 'Vagrantfile')
| -rw-r--r-- | Vagrantfile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Vagrantfile b/Vagrantfile index 8e8d20a71b..c5f0f603e5 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -15,11 +15,14 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| # Permit X11 forwarding so running the graphical Wireshark works config.ssh.forward_x11 = true + # Mounting to /vagrant (the default) won't work for building a + # Debian package. Let's be consistent for all boxes. + config.vm.synced_folder ".", "/vagrant", disabled: true + config.vm.synced_folder ".", "/home/vagrant/wireshark", type: "virtualbox" + # Install and build the various things (including wireshark!) config.vm.define "ubuntu", autostart: false do |deb| deb.vm.box = "ubuntu/xenial64" - # XXX: Mounting to /vagrant (the default) won't work for building a - # Debian package. deb.vm.provision "shell" do |s| s.path = 'tools/debian-setup.sh' |