As a precaution, I ran:
sudo apt-get update
sudo apt-get dist-upgrade
from the console after the update tool crashed, but before I rebooted. It finished upgrading only one package (console-setup), and after a reboot, all was fine for me, too. Not sure if the apt-get dist-upgrade was even needed.
As a precaution, I ran:
sudo apt-get update
sudo apt-get dist-upgrade
from the console after the update tool crashed, but before I rebooted. It finished upgrading only one package (console-setup), and after a reboot, all was fine for me, too. Not sure if the apt-get dist-upgrade was even needed.