For 3. looks like we can name our machines https://stackoverflow.com/questions/17845637/how-to-change-vagrant-default-machine-name
but we can't do it from the command-line (it has to be a Vagrantfile). -- This mailing list is governed under the HashiCorp Community Guidelines - https://www.hashicorp.com/community-guidelines.html. Behavior in violation of those guidelines may result in your removal from this mailing list. GitHub Issues: https://github.com/mitchellh/vagrant/issues IRC: #vagrant on Freenode --- You received this message because you are subscribed to the Google Groups "Vagrant" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vagrant-up/39ccba1f-c649-4d76-8225-e009747983dd%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
