title: Vagrant VirtualBox name stuck to default
body: <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>