On Tue, Oct 15, 2013 at 10:13 AM, Stanislas Werfel <Werfel@ipt.med.tum.de> wrote:
I'm also having another issue: when I delete files in the history in galaxy, they don't acually get deleted in the files/000/ folder. And galaxy is still showing them under "Using ..." in the total space used. So if I download a 3GB fastq file, then delete everything in the history, Using is still showing 3GB and the file is still there in the folder.
I can't help with the first problem, but I believe the second is easier: The data isn't immediately deleted and therefore your usage figure (and quota) do not get updated right away. This is usually done via a house keeping cron job, see: http://wiki.galaxyproject.org/Admin/Config/Performance/Purge%20Histories%20a... Peter