diff options
Diffstat (limited to 'extras/vagrant/run.sh')
| -rwxr-xr-x | extras/vagrant/run.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/extras/vagrant/run.sh b/extras/vagrant/run.sh index 3c779fa23f6..61c9261fe2f 100755 --- a/extras/vagrant/run.sh +++ b/extras/vagrant/run.sh @@ -12,11 +12,12 @@ fi if [ "$OS_ID" == "centos" ] || [ "$OS_ID" == "opensuse" ]; then # Install uio-pci-generic - modprobe uio_pci_generic + sudo -E modprobe uio_pci_generic fi + echo "Starting VPP..." -if [ "$OS_ID" == "ubuntu" ] && [ $OS_CODENAME = "trusty" ] ; then - start vpp +if [ "$OS_ID" == "ubuntu" ] && [ "$OS_CODENAME" == "trusty" ] ; then + sudo -E start vpp else - service vpp start + sudo -E service vpp start fi |