[galaxy-dev] User list and disk space?
p.j.a.cock at googlemail.com
Thu Jun 9 09:39:13 EDT 2011
On Tue, May 17, 2011 at 2:21 PM, Nate Coraor <nate at bx.psu.edu> wrote:
> Peter Cock wrote:
>> That sounds really useful - it is something that you plan on adding
>> to Galaxy officially?
> Yes, I'm working on adding a lot of user- and admin- side access to
> various numbers about disk usage (used by histories, used by deleted
> data, etc. and disk quotas. I hope to have this done shortly after the
Since you're looking at this kind of thing, would the "Saved Histories"
page be worth updating to show the size on disk of each history? As
a Galaxy user that seems moderately useful - although perhaps more
of interest to Galaxy admins?
More information about the galaxy-dev