On Tue, Feb 11, 2014 at 2:33 PM, Dan Andreescu dandreescu@wikimedia.orgwrote:
One thing I'd be interested in is to hear how Linux folks are installing vagrant / virtualbox. I've not been able to "vagrant up" my mediawiki-vagrant since I upgraded to Ubuntu 13.10 and I've heard of at least two other people with the same experience. Maybe 14.04 will just solve all that, but it's worth looking into so we can post any gotchas in the install instructions.
I can't comment about Ubuntu, but using Debian Sid I was finally able to get it to work this morning.
All I had to do was apt-get install virtualbox-dkms and vagrant. Versions here are 4.3.2-dfsg-1 for virtualbox, 1.4.3-1 for vagrant, and 3.12.9-1 for the kernel.