Question: Fwd: Deleting Datasets From History
0
Sergei Ryazansky • 40 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!