2014-01-18, 20:48
What would be the proper update process? Something like this?
sudo apt-get update
sudo apt-get dist-upgrade
...then install the new kernel and reboot
sudo apt-get update
sudo apt-get dist-upgrade
...then install the new kernel and reboot