Como redefinir o estado oculto do Vagrant?

Question

Como redefinir o estado oculto do Vagrant?

1

tl; dr: Tinha o Vbox5.1 +, o vagrant insistiu em instalar o 5.0.1 e falhou. Agora removi todas as instâncias do VBox do meu sistema, mas o vagrant não instala mais sua versão favorita. Como forçar o vagrant a instalar o vbox novamente?

Eu tenho um Vagrantfile que desejo usar em um host OSX.

Eu já tinha o VirtuaBox 5.1+ instalado. E VBoxManage --version mostrou essa versão 5.1+.

Eu instalei o vagrant e emiti vagrant up . Analisou o Vagrantfile, baixou a imagem vm e começou a baixar e instalar o VirtualBox 5.0.1. Eu tentei cancelar, mas cancelou todo o comando vagrant up.

Em resumo, não havia como evitar o download do VirtualBox, mas ele já tinha acesso ao 5.1+ que eu tinha no meu sistema. Então deixei prosseguir. Ele instalou o 5.0.1 sobre o meu 5.1+, e o VBoxManage --version mostrou muito bem o 5.0.1 depois disso. No entanto, vagrant up falhou alegando VirtualBox não está disponível. Desde que mostrou um aviso de que no Windows uma reinicialização é necessária, reiniciei o OSX apenas para estar seguro. Por causa disso, perdi a mensagem de erro exata que estava recebendo.

Agora eu tentei remover completamente o VirtualBox do meu sistema. VBoxManage está longe de ser encontrado. rm -fr .vagrant ~/.vagrant.d do meu diretório Vagrantfile. Mas vagrant up agora, em vez de tentar baixar a caixa virtual de uma maneira tão teimosa como antes, apenas falhe em dizer que não é possível encontrar a caixa virtual.

Obviamente, ele está armazenado em algum lugar, que não é o documentado .vagrant dir, que ele já instalou o vbox e que não deve ser feito novamente. Onde está essa informação?

- editar 1

Eu instalei o vbox 5.1.28 novamente. E depois de vagrant up , lá vai insistindo em baixar o 5.0.10 novamente. (que me lembrei errado como 5.0.1 antes). Aqui está o erro anteriormente perdido:

$ VBoxManage --version
5.1.28r117968

$ vagrant up
==>  Provider 'virtualbox' not found. We'll automatically install it now...
     The installation process will start below. Human interaction may be
     required at some points. If you're uncomfortable with automatically
     installing this provider, you can safely Ctrl-C this process and install
     it manually.
==>  Downloading VirtualBox 5.0.10...
     This may not be the latest version of VirtualBox, but it is a version
     that is known to work well. Over time, we'll update the version that
     is installed.
==>  Installing VirtualBox. This will take a few minutes...
     You may be asked for your administrator password during this time.
     If you're uncomfortable entering your password here, please install
     VirtualBox manually.
[SUDO] Password:
==>  VirtualBox has successfully been installed!
No usable default provider could be found for your system.

Vagrant relies on interactions with 3rd party systems, known as
"providers", to provide Vagrant with resources to run development
environments. Examples are VirtualBox, VMware, Hyper-V.

The easiest solution to this message is to install VirtualBox, which
is available for free on all major platforms.

If you believe you already have a provider available, make sure it
is properly installed and configured. You can see more details about
why a particular provider isn't working by forcing usage with
'vagrant up --provider=PROVIDER', which should give you a more specific
error message for that particular provider.

$ VBoxManage --version
5.0.10r104061

- editar 2

O site vagrant diz que o vbox 5.1 é suportado: