Nonot a Spider díky, ale už je vymalováno. Při dalším bootování se začaly projevovat chyby disku (I/O error), takže jsem musel přeinstalovat.
Ale vaše rady určitě využiji, přepokládám, že se to při příští instalaci (včetně počeštění a aktualizací) bude chovat stejně.