Booting "by hand" and letting APT do the job is another way to go. This time I am not even sure you need to execute 'sudo update-grub': 'apt-get' has probably executed it for you (command called from a post-processing script). Anyway, it does not hurt.

Reply via email to