Despite reading this
How to change Vagrant 'default' machine name?
my hostname is stuck to default
Here's my Vagrantfile:
Vagrant.configure(2) do |config|
config.vm.box = "hashicorp/precise32"
config.vm.hostname = "web"
config.vm.network :private_network, ip: "10.0.0.10"
config.vm.provider :virtualbox do |vb|
vb.name = "vagrant-web"
end
end
But
$ vagrant status
Current machine states:
default running (virtualbox)
and
$ vagrant ssh web
The machine with the name 'web' was not found configured for
this Vagrant environment.
but
$ vagrant ssh default
works fine.
I've done a vagrant halt
and vagrant up
. Any other suggestions?