diff options
| author |   Aurélien Degeorges <aurelien.degeorges@6wind.com> | 2016-06-06 13:49:52 +0200 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2016-06-09 02:13:03 +0000 |
| commit | c1bec35f1657de95d32e0646761e06133e594b51 (patch) | |
| tree | 10a02c5e433f2ffc71854055dc6ab5a7f2c31129 /main.py | |
| parent | e8c787b699661f00e8358cc711bb20b8993dc87a (diff) | |
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>
Diffstat (limited to 'main.py')
0 files changed, 0 insertions, 0 deletions