diff options
author | Dave Wallace <dwallacelf@gmail.com> | 2016-05-25 18:15:00 -0400 |
---|---|---|
committer | Jan Gelety <jgelety@cisco.com> | 2016-06-02 15:27:15 +0000 |
commit | c70aa9f7233f8b041ecdf1117dffac0ef29d128b (patch) | |
tree | 785c822e0328ac46bf26a654a59ec552b9bbe527 /resources/tools/vagrant/install_debs.sh | |
parent | 022cc77a6848eca746b20408856897a4e7cb5947 (diff) |
CSIT-117: CSIT Vagrant+Virtualbox dev environment inoperative on Ubuntu
Change-Id: I05ea675a2eb6d0b240008efa0d27166616c6e741
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'resources/tools/vagrant/install_debs.sh')
-rwxr-xr-x | resources/tools/vagrant/install_debs.sh | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/resources/tools/vagrant/install_debs.sh b/resources/tools/vagrant/install_debs.sh index 5ace4bae0d..b3ef9ec73c 100755 --- a/resources/tools/vagrant/install_debs.sh +++ b/resources/tools/vagrant/install_debs.sh @@ -25,13 +25,8 @@ rsync -avz ${@} ${USERNAME}@192.168.255.102:/tmp/ || exit ssh_do_duts "sudo apt-get -y purge 'vpp.*' ; exit 0" ssh_do_duts "sudo dpkg -i /tmp/vpp*.deb" -ssh_do_duts "echo 128 | sudo tee /proc/sys/vm/nr_hugepages" -ssh_do_duts "sudo rm -f /etc/vpp/startup.conf.orig ; sudo cp /etc/vpp/startup.conf /etc/vpp/startup.conf.orig" -ssh_do_duts "sudo rm /etc/vpp/startup.conf" -ssh_do_duts "sudo sed -e 's/socket-mem [0-9]*/socket-mem 128/' /etc/vpp/startup.conf.orig | sudo tee /etc/vpp/startup.conf" -ssh_do_duts "echo heapsize 512M | sudo tee -a /etc/vpp/startup.conf" -ssh_do_duts "sudo sed -e 's/vm.nr_hugepages=.*/vm.nr_hugepages=128/' -i /etc/sysctl.d/80-vpp.conf" -ssh_do_duts "sudo sed -e 's/vm.max_map_count=.*/vm.max_map_count=256/' -i /etc/sysctl.d/80-vpp.conf" - +vppcfg="/etc/vpp/startup.conf" +ssh_do_duts "sudo rm -f $vppcfg.orig; sudo cp $vppcfg $vppcfg.orig" +ssh_do_duts "echo -e '\nheapsize 512M' | sudo tee -a $vppcfg" echo Success! |