blob: 1b85a3e8e8b7afddef2f63f954f07d696e2a0f8e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#!/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."
|