Virtualbox のインストール

2017.07.22 (Debian stretch)




$ sudo dpkg -i virtualbox-5.1_5.1.24-117012-Debian-stretch_amd64.deb

コマンドラインからvirtualboxを実行したらエラーになり
sudo /sbin/vboxconfig
を実行しろというメッセージが出ていたけれどそのようなものは無く、検索してみたら
sudo /usr/lib/virtualbox/vboxdrv.sh setup
を実行するのが正解らしい。
そこでさっそく上のコマンドを実行したらgccが無いとかカーネルヘッダが無いとかメッセージが出たので
gccやヘッダーを入れた。
# apt --fix-broken install
# apt-get install gcc make
# apt-get install linux-headers-4.9.0-3-amd64