#!/bin/bash
set -e

# Konfiguriert den Kernel für VBox.

if ! sudo modprobe -l | grep vboxdrv; then
	echo "Installing kernel driver..."
	sudo apt-get update
	sudo apt-get install linux-headers-$(uname -r)
fi

echo "Reconfiguring virtualbox..."
sudo dpkg-reconfigure virtualbox-dkms

echo "Loading Kernel module..."
sudo modprobe vboxdrv

echo "Done."