Switched vagrant for ~/git/vpp to /vpp 01/201/2
authorEd Warnicke <eaw@cisco.com>
Wed, 3 Feb 2016 01:47:17 +0000 (17:47 -0800)
committerGerrit Code Review <gerrit@fd.io>
Wed, 3 Feb 2016 14:49:37 +0000 (14:49 +0000)
commiteeee9e2b1820ae1ca194ba0093d49519b66558f8
tree6f1e1cbe26bd3cbef25c985acfb3b9328f941b70
parentc28b4745911de6834a89343f40c35cafab59a706
Switched vagrant for ~/git/vpp to /vpp

build-root/vagrant/Vagrantfile

was always mounting the vpp into /vpp
Now rather than cloning it and building,
we just use it as mounted.

In order to let folks know what happened,
a README.moved is copied into the ~/git/vpp
so folks know what happened.

In addition to make it easier for folks
to do commits from withing the vagrant,
we install git-review, and copy in the
users .gitconfig and .gnupg directory.

A couple of notes about this. VMWare goes much
much faster in all cases.  Virtualbox is a
bit slower in the very first run (without ccache).

One of the benefits of using the mounted /vpp though
is that after your first vagrant up, you always
have access to the .ccache, as it lives
outside the vagrant, and so in steady state
everything is faster.

Change-Id: I2cd2c28181b3d7e664240dfe2249b5be3f1b9241
Signed-off-by: Ed Warnicke <eaw@cisco.com>
build-root/vagrant/README.moved [new file with mode: 0644]
build-root/vagrant/Vagrantfile
build-root/vagrant/bootstrap.ubuntu1404.sh