On Jan 27, 2012, at 4:43 PM, Bossers, Alex wrote:
> Hi All,
> We are finally up-and-running again with the latest dist release. The
> previoous version was ok but already quite old.
> For our local public server at wur we are now encountering the awaited disk
> space issues..... as had to come some day....but sooner anyway... So we have
> been cleaning up. Used the cleanusp scripts for marked as deleted files and
> But two issues remain for galaxy-admin users:
> 1) How to really delete a user and its non (no-longer) shared files? (from
> the admin panel)
> 2) Is there a way to get the user disk space usage in the admin panel (or
> using some other method?)? Thereby we can contact that user to push cleaning
> up files.
There's a page in the reports webapp for disk usage by user.
> 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:
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: