Stupid question. In which part of the documentation will I find out, how to change the name of the VM Vagrant is working with.
I dislike the name getting_started_default_1600161673452_38479
Bringing machine ‘default’ up with ‘virtualbox’ provider…
==> default: Importing base box ‘hashicorp/bionic64’…
==> default: Matching MAC address for NAT networking…
==> default: Checking if box ‘hashicorp/bionic64’ version ‘1.0.282’ is up to date…
==> default: Setting the name of the VM: getting_started_default_1600161673452_38479
This peace of information is not included in the Getting Started guide, or is it?
In the docu for multi-machine I found instructions for parameter config.vm.define
With this I managed to rename “default” into something else.
Is it possible to get rid of the timestamp as well?
Do I have to move the vagrantfile into another folder to change the name of the VM?
vboxmanage list vms