Re: [galaxy-dev] How to delete user (and unshared files) in local instance by galaxy-admin (panel)

2012-01-28 Thread Hans-Rudolf Hotz
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:

Re: [galaxy-dev] How to delete user (and unshared files) in local instance by galaxy-admin (panel)

2012-01-28 Thread Bossers, Alex
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 usersbut 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

Re: [galaxy-dev] How to delete user (and unshared files) in local instance by galaxy-admin (panel)

2012-01-28 Thread Greg Von Kuster
Hello Alex, If you set the following in your universe_wsgi.ini, you'll be able to delete / purge users. # Can an admin user delete user accounts? allow_user_deletion = True With the above setting, from the Admin perspective, select Manage users. You're User list grid will include buttons for