We've been using Galaxy for about six months now and we have accumulated a large amount of deleted data. I wanted to clean a bit by deleting permanently these datasets, following the procedure explained here: https://wiki.galaxyproject.org/Learn/ManagingDatasets. The problem is that I don't have the options to permanently delete, all I can do is undelete. Has anyone ever seen that and solved the problem ? Otherwise is there a way to manually do it from the commande line ? Thanks a lot in advance!