Hi Hans, have to look up what it does... :) Yes its public but users are required to signup themselves. So all data is linked to users....but which data to whome? Of course I can hack the DB and find out but I thought there should be a more convenient way of doing this for galaxy admins!? Alex ________________________________________ Van: Hans-Rudolf Hotz [hrh@fmi.ch] Verzonden: zaterdag 28 januari 2012 13:10 Aan: Bossers, Alex CC: galaxy-dev@lists.bx.psu.edu Onderwerp: Re: [galaxy-dev] How to delete user (and unshared files) in local instance by galaxy-admin (panel) Hi Alex Since you are talking about your public server, I assume you don't have external authentication. Hence, have you considered to turn on the "allow_user_impersonation" option? Nice and very efficient way of cleaning up..... Regards, Hans On 01/27/2012 10: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 such.
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.
Thanks Alex
___________________________________________________________ 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: