Prima, ein
kill 1387688
spuckte nach dem 'apt-get dist-upgrade' ein
E: dpkg was interrupted, you must manually run 'sudo dpkg --configure -a' to correct the problem.
aus, hab ich dann ausgeführt, dann das Upgrade nochmal laufen lassen - passt.
Nur zur Dokumentation - hilft evtl. anderen.
Vielen...