Hier hatte ich es ja schon einmal davon, dass sich der Mülleimer von Evolution nicht leeren ließ. Ein Teil der Lösung war, ganz prinzipiell keine 4GB an Mails mehr allein Evolution anzuvertrauen, sondern einen lokalen IMAP Server als Speicher für die Mail-Altbestände zu nutzen. Die Anleitung hierzu schrieb ich hier.
Heute – knapp 250MB an Mails später – hatte ich schon wieder das Problem, dass Evolution den Mülleimer nicht putzen wollte … dafür hab ich aber nun eine Schnelllösung in den Foren von Ubuntuusers gefunden:
Evolution beenden. Dann im Ordner ~/.evolution/mail/local die Datei folders.db erst einmal auf den Desktop verschieben (man weiß ja nie – gleich löschen könnte heikel sein). Evolution wieder starten und der Mülleimer sollte sich leeren lassen.