2017-03-09 18:35:06 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
set -xe
|
|
|
|
|
|
|
|
|
|
apt-get update -q
|
2017-11-14 22:15:15 +00:00
|
|
|
apt-get install -qy linux-headers-$(uname -r)
|
2017-03-09 18:35:06 +00:00
|
|
|
apt-get install -qy virtualbox
|
|
|
|
|
|
|
|
|
|
pushd /vagrant
|
|
|
|
|
|
|
|
|
|
dpkg -i ./pkg/dist/vagrant_*_x86_64.deb
|
|
|
|
|
vagrant plugin install ./vagrant-spec.gem
|
|
|
|
|
|
|
|
|
|
popd
|
