Fix Vagrant config for multi-user environment 26/1426/2
authorAurélien Degeorges <aurelien.degeorges@6wind.com>
Mon, 6 Jun 2016 11:49:52 +0000 (13:49 +0200)
committerDave Wallace <dwallacelf@gmail.com>
Thu, 9 Jun 2016 02:13:03 +0000 (02:13 +0000)
commitc1bec35f1657de95d32e0646761e06133e594b51
tree10a02c5e433f2ffc71854055dc6ab5a7f2c31129
parente8c787b699661f00e8358cc711bb20b8993dc87a
Fix Vagrant config for multi-user environment

Add support for an environment variable "VPP_VAGRANT_NET_PREFIX" to add a prefix
before the name of vbox internal networks.
Otherwise two users trying to do "vargrant up" on the same server will face
conflicts with the name of vbox internal networks.

Change-Id: I5ba7c06fe111944fcac3da25276d018d281aef4f
Signed-off-by: Aurélien Degeorges <aurelien.degeorges@6wind.com>
resources/tools/vagrant/Vagrantfile