After purging datasets, the history size update has a bit of a delay. Let us know if you
find that after a while it hasn't recalculated to what you expect the value to be.
On Feb 1, 2012, at 4:21 PM, 杨继文 wrote:
First I would like to thank you for your fast replies to my questions.
As you know, at top right corner of Galaxy window, there are records of the history size
and how many percentage of memory space has been used. I found that the number in the
records only increases, but doesn't decrease after I delete files permanently.
DId I miss something? How to let the record show the real size of the histories?
Thanks in advance.
The Galaxy User list should be used for the discussion of
Galaxy analysis and other features on the public server
. 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:
To manage your subscriptions to this and other Galaxy lists,
please use the interface at: