> > My / usage is still huge, 258 Mb, but at least the "full" problem is gone. > I hope I can ignore the doubly mounted root partition. > > Haines
Hust a little hint: If you have no encrypted partitions, you can resize your partitions using "gparted". Best use is, to run it from a livefile cd or dvd, like clonezilla or similar without any data loss. Do not use this on encrypted partitions, in my experiences it removed my keys from the encrypted partitions! Just an idea... Best Hans -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/6001221.nY30OChXpc@protheus2