diff options
Diffstat (limited to 'extras/vagrant/run.sh')
| -rwxr-xr-x | extras/vagrant/run.sh | 6 |
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 |