Linux. VirtualBox запускается, но не запускаются виртуальные машины

При запуске виртуальных машин в Virtualbox выдается сообщение о том, что драйвер vboxdrv не может загрузиться, необходимо его переустановить командой '/etc/init.d/vboxdrv setup'.

Перед этим предлагается сначала установить пакет dkms.

И все это сообщение - на английском.

Однако, после ввода в терминале рекомендуемых команд выдаются интересные сообщения:

При вводе sudo apt-get install dkms выдается сообщение:

Уже установлена самая новая версия dkms.

При вводе sudo /etc/init.d/vboxdrv setup выводится сообщение:

sudo: /etc/init.d/vboxdrv: команда не найдена

Решение проблемы для Ubuntu:

sudo apt-get remove dkms virtualbox
sudo apt-get install virtualbox dkms

Решение проблемы для Linux Mint:

sudo apt-get remove dkms virtualbox
sudo apt-get install virtualbox virtualbox-qt dkms virtualbox-dkms

После этого виртуальные машины в Virtualbox стали запускаться.

Ubuntu 12.04. Проблема с VPN. Не открываются сайты

После обновления Ubuntu до версии 12.04 перестали открываться сайты. Сетевые настройки при этом остались прежними, VPN-сервер пингуется и соединение с ним устанавливается. Команда ifconfig выдает все нормально. Однако, команда ping google.ru выдает unknown host.

Что-то случилось с DNS. В настройках VPN вручную указал сервера DNS. После этого сайты стали открываться.

Подробно:
В параметрах VPN на вкладке Параметры IPv4 выбрал Способ настройки: Автоматически (VPN, только адрес). Затем прописал в строке Серверы DNS: свои серверы DNS. Переподключил Ethernet и VPN. После этого сайты стали открываться.