Esta é apenas a minha experiência em encontrar esse problema. Espero que isso ajude.
Ao executar vagrant up
, recebi este
The provider 'libvirt' could not be found, but was requested to
back the machine 'default'. Please use a provider that exists.
Eu tentei os comandos fornecidos acima
echo "export VAGRANT_DEFAULT_PROVIDER=virtualbox" >> ~/.bashrc
source ~/.bashrc
Então eu executei vagrant up
The provider 'virtualbox' that was requested to back the machine
'default' is reporting that it isn't usable on this system. The
reason is shown below:
VirtualBox is complaining that the kernel module is not loaded. Please
run 'VBoxManage --version' or open the VirtualBox GUI to see the error
message which should contain instructions on how to fix this error.
Usando VBoxManage --version
, isso me deu
The vboxdrv kernel module is not loaded. Either there is no module
available for the current kernel (4.0.4-303.fc22.x86_64) or it failed to
load. Please recompile the kernel module and install it
e me levou a executar sudo /etc/init.d/vboxdrv setup
, o que resolveu meu problema.