summaryrefslogtreecommitdiffstats
path: root/extras/vagrant/run.sh
diff options
context:
space:
mode:
Diffstat (limited to 'extras/vagrant/run.sh')
-rwxr-xr-xextras/vagrant/run.sh6
1 files changed, 3 insertions, 3 deletions
diff --git a/extras/vagrant/run.sh b/extras/vagrant/run.sh
index 61c9261fe2f..3e87e259442 100755
--- a/extras/vagrant/run.sh
+++ b/extras/vagrant/run.sh
@@ -1,16 +1,16 @@
#!/bin/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