Vagrant VirtualBox name stuck to default
<p>Despite reading this</p>

<p><a href="https://stackoverflow.com/questions/17845637/how-to-change-vagrant-default-machine-name">How to change Vagrant &#39;default&#39; machine name?</a></p>

<p>my hostname is stuck to <code>default</code></p>

<p>Here's my Vagrantfile:</p>

<pre><code>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
</code></pre>

<p>But</p>

<pre><code>$ vagrant status
Current machine states:

default                   running (virtualbox)
</code></pre>

<p>and</p>

<pre><code>$ vagrant ssh web
The machine with the name 'web' was not found configured for
this Vagrant environment.
</code></pre>

<p>but </p>

<pre><code>$ vagrant ssh default
</code></pre>

<p>works fine. </p>

<p>I've done a <code>vagrant halt</code> and <code>vagrant up</code>. Any other suggestions?</p>