Dear Galaxy dev team,
as my galaxy database folder ("galaxy-dev/database/files/000/") contains
too many large files, which are not needed any more, I just tried to use
the cleanup scripts to delete all stuff older than 10 days.
I executed the corresponding shell scripts in the recommended order:
delete_userless_histories.sh
purge_histories.sh
purge_libraries.sh
purge_folders.sh
purge_datasets.sh
The problem is that "purge_datasets.sh" did not remove any file from the
disk (although I used the "-r" option). I also tried to run
"delete_datasets.sh" in advance. According to the respective log-file
("delete_datasets.log") some dataset instances were deleted:
Examined 329 datasets, marked 329 as deleted and purged 329 dataset
instances
Total elapsed time: 101.456291914
However, if I try to run "purge_datasets.sh" subsequently, nothing happens:
Purged 0 datasets
Freed disk space: 0
Elapsed time: 0.834518909454
Could you please help me solving this issue?
Kind regards,
Johannes
--
Dipl.-Inf. (Bioinf.) Johannes Eichner
Univ. Tuebingen, WSI-RA, Sand 1, D-72076 Tuebingen, Germany
Phone: (+49/0) 7071 / 29 70436 Fax: (+49/0) 7071 / 29 5091