title: How to change Vagrant 'default' machine name?
body: <p>Where does the name 'default' come from when launching a vagrant box?</p>
  
  <pre><code>$ vagrant up
  Bringing machine 'default' up with 'virtualbox' provider...
  </code></pre>
  
  <p>Is there a way to set this?</p>