X-Git-Url: https://gerrit.fd.io/r/gitweb?a=blobdiff_plain;f=extras%2Fvagrant%2Frun.sh;h=be2d842590364566943f1ec00f47fe3e84eefe06;hb=HEAD;hp=61c9261fe2f2752873d53874cd06486ff57bba04;hpb=acc1fbcb5e13961c1fcf1a00952b19b154b296b6;p=vpp.git

diff --git a/extras/vagrant/run.sh b/extras/vagrant/run.sh
index 61c9261fe2f..be2d8425903 100755
--- a/extras/vagrant/run.sh
+++ b/extras/vagrant/run.sh
@@ -1,16 +1,16 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Figure out what system we are running on
-if [ "$(uname)" <> "Darwin" ]; then
+if [ "$(uname)" <> "Darwin" ] ; then
     OS_ID=$(grep '^ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g')
     OS_VERSION_ID=$(grep '^VERSION_ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g')
 fi
 
-if [ "$OS_ID" == "ubuntu" ]; then
+if [ "$OS_ID" == "ubuntu" ] ; then
     $OS_CODENAME=$UBUNTU_CODENAME
 fi
 
-if [ "$OS_ID" == "centos" ] || [ "$OS_ID" == "opensuse" ]; then
+if [ "$OS_ID" == "centos" ] ; then
     # Install uio-pci-generic
     sudo -E modprobe uio_pci_generic
 fi