Install Vagrant¶
read version < <( curl -s "https://releases.hashicorp.com/vagrant/" \ | xmllint --html --xpath 'string(/html/body/ul/li[2]/a/@href)' - 2>/dev/null \ | sed -re 's!^/vagrant/([0-9\.]+)/$!\1\n!' ) read arch < <( uname -m ) read tmpfile < <( mktemp -d ) wget -P "${tmpfile}" "https://releases.hashicorp.com/vagrant/${version}/vagrant_${version}_${arch}.deb" dpkg -i "${tmpfile}/vagrant_${version}_${arch}.deb" rm -rf "${tmpfile}" vagrant plugin install vagrant-vbguest vagrant plugin install vagrant-disksize
Upgrade¶
If you run into issues while upgrading, try running these:
vagrant plugin repair
# NOTE: this will uninstall all plugins, and attempt to reinstall them (no version change)
vagrant plugin expunge --reinstall
Uninstall¶
dpkg -r vagrant