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.


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:


Reply via email to