In een terminalrm .local/share/Trash/files/filenaam
rm .local/share/Trash/info/filenaam.trashinfo
Let op het puntje voor het woord local, de hoofdletter bij Trash, vervang filenaam door de volledige naam met extensie van de betreffende file, en in het laatste commando plak je daarachter nog eens .trashinfo (met een puntje dus).