support/misc: updating Vagrantfile to ubuntu 18.04
authorAngelo Compagnucci <angelo@amarulasolutions.com>
Mon, 13 Aug 2018 08:49:12 +0000 (10:49 +0200)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Mon, 13 Aug 2018 09:45:48 +0000 (11:45 +0200)
commit8511a66fc1d16014703e76ce0d5bf3ca3b010bdc
tree28768d2eb0347967838a81575134a2877890aee4
parent8e09dc05c2d07b8334101c3f80cf02c767efd5f0
support/misc: updating Vagrantfile to ubuntu 18.04

This patch updates the vagrant box to ubuntu bionic 64 and switches back
to the official ubuntu image cause the issues with the official image
are now solved.

Signed-off-by: Angelo Compagnucci <angelo@amarulasolutions.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
support/misc/Vagrantfile