Hi Sergei This is a question better asked on 'galaxy-dev@bx.psu.edu' since you refer to your local Galaxy installation. In order to remove the data from your file system, you need to run the 'cleanup scripts', as described on this wiki page: https://bitbucket.org/galaxy/galaxy-central/wiki/Config/PurgeHistoriesAndDat... Regards, Hans On 07/06/2011 03:33 PM, Sergei Ryazansky wrote:
-------- Исходное сообщение -------- Тема: deleting datasets from history Дата: Tue, 5 Jul 2011 19:58:45 +0300 От: Sergei Ryazansky <s.ryazansky@gmail.com> Кому: galaxy-user-request@lists.bx.psu.edu
Hello all,
After the deleating datasets from the history panel in our Galaxy mirror the indicator at the top right corner shows the same amount of used space as before deleting. Also, the files corresponded to the datasets remains in the Galaxy database/files/000 directory. It seems, that deleting of datasets from history is only delete the launch to file but not the file itself. How to configure the Galaxy mirror to delete not only records in history panel but also the corresponed files? Thank you in advance!
___________________________________________________________ The Galaxy User list should be used for the discussion of Galaxy analysis and other features on the public server at usegalaxy.org. Please keep all replies on the list by using "reply all" in your mail client. For discussion of local Galaxy instances and the Galaxy source code, please use the Galaxy Development list:
http://lists.bx.psu.edu/listinfo/galaxy-dev
To manage your subscriptions to this and other Galaxy lists, please use the interface at: