Tenho uma dúvida: os passos seguidos no video foram: a instalacao do Vagrant, do Virtual Box e posteriormente já no diretorio ambiente_dev se executou o comando
vagrant init hashicorp/precise64
e foi criado o arquivo Vagrantfile, no mesmo diretorio.
Se eu tivesse instalado outros provedores, como vmware, como saberia para que provedor criar a configuracao?