diff options
author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2018-08-30 21:18:43 +0100 |
---|---|---|
committer | Anders Broman <a.broman58@gmail.com> | 2018-08-31 04:10:52 +0000 |
commit | 94735eb2bc02f7d683e50cfda1e5d0735cf5f97f (patch) | |
tree | 82adac1318c1686acd5cc25bc8de24508b49aa03 /Vagrantfile | |
parent | 1d3548fb6db4e84e1b170f6297309a4d3a53ecb7 (diff) |
vagrant: Use debian-setup.sh
Change-Id: Idb6c9281d050e89dc8eb564fe9d35ce1d4a27d8a
Reviewed-on: https://code.wireshark.org/review/29356
Reviewed-by: Anders Broman <a.broman58@gmail.com>
Diffstat (limited to 'Vagrantfile')
-rw-r--r-- | Vagrantfile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Vagrantfile b/Vagrantfile index cf129a2195..c3d74bdaa2 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -19,6 +19,9 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| config.ssh.forward_x11 = true # Install and build the various things (including wireshark!) - config.vm.provision :shell, path: 'vagrant_provision.sh' + config.vm.provision "shell" do |s| + s.path = 'tools/debian-setup.sh' + s.args = ['--install-optional', '--assume-yes'] + end config.vm.provision :shell, path: 'vagrant_build.sh', privileged: false end |