В любой момент, когда Ubuntu хочет обновить мое ядро, он, похоже, не обновляет заголовки одновременно. Это приводит к тому, что некоторые драйверы не перестраиваются, например, драйверы беспроводной сети и виртуальных боксов. Я всегда должен вручную устанавливать заголовки после обновления, а затем перестраивать драйверы виртуального сервера
sudo apt-get install linux-headers-3.5.0-31-generic
sudo /etc/init.d/vboxdrv setup
. Есть ли способ обновить заголовки одновременно? Это очень расстраивает порой, потому что, если я делаю это дома, я использую только беспроводную связь, и после обновления я не могу обновлять заголовки, если я не вытащу сетевой кабель для подключения.