Hello, our Galaxy server is running low on disk space, so I asked all users to (permanently) delete old histories and datasets. One specific user alone managed to reduce his space usage by 2 TB. That's at least what the Galaxy server says. Afterwards I additionally ran the following scripts:
delete_userless_histories.sh -d 1 -r -f purge_histories.sh -d 1 -r -f purge_libraries.sh -d 1 -r -f purge_folders.sh -d 1 -r -f python cleanup_datasets.py universe_wsgi.ini -d 200 -6 -r -f purge_datasets.sh -d 1 -r -f Purging the histories took very long (about a day) and the log of deleted histories is huge. Purging the datasets also took some time. However, my disk usage is still the same as before. It wasn't reduced at all. Did I miss some important step or some waiting time? Any help would be appreciated. Thanks, Sarah ___________________________________________________________ Please keep all replies on the list by using "reply all" in your mail client. To manage your subscriptions to this and other Galaxy lists, please use the interface at: http://lists.bx.psu.edu/
