diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2017-09-25 16:12:16 -0400 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2017-09-25 22:09:19 +0000 |
| commit | d4c623eea44ed779b044edb706858044300ccb44 (patch) | |
| tree | 7f9e691d7f0e0f541a108fe6270e2d230b25e355 /extras/vagrant/env.sh | |
| parent | 3d67449de523521a9bdbcd2e3a092ffc0e2281f7 (diff) | |
Vagrant fails if Vagrantfile is a symlink on Windows 10.
- Revert Vagrantfile symlink to the default
- Update README and env.sh
Change-Id: Ib1a557b897e0217b162c31118a4c265769dd1760
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'extras/vagrant/env.sh')
| -rw-r--r-- | extras/vagrant/env.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/vagrant/env.sh b/extras/vagrant/env.sh index f0edfd88..bd329ea7 100644 --- a/extras/vagrant/env.sh +++ b/extras/vagrant/env.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -export VPP_VAGRANT_DISTRO="ubuntu1404" +export VPP_VAGRANT_DISTRO="ubuntu1604" export VPP_VAGRANT_NICS=2 export VPP_VAGRANT_VMCPU=4 export VPP_VAGRANT_VMRAM=4096 |