I am installing Vagrant manually with the deb.
sudo dpkg -i vagrant.....deb and I found it's in /opt/.
Basically it doesn't add to the bash profile like apt-get does.
Is that supposed to happen with dpkg?
This deb put files in