The problem seems to be solved now. I got a message from another program
telling me to run sudo apt-get update followed by sudo apt-get install
-f. This has fixed it. But since the update manager is supposed to be
doing basically the same as these commands, I don't quite understand why
that applica
Here it is. BTW, this morning the automatic file check turned up
problems and told me to run fsck without options. This turned up
multiply claimed blocks by several inodes, several unattached inodes,
faulty reference counts and so on. Whenever a directory was mentioned,
it was a subdirectory of fir
