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 deleting and purging user accounts.  A user account must be deleted before they can be purged.  We keep the User in the database ( marked as purged ), and stuff associated with the user's private role in case we want the ability to unpurge the user some time in the future.

Purging a deleted User deletes all of the following:
- History where user_id = User.id
   - HistoryDatasetAssociation where history_id = History.id
   - Dataset where HistoryDatasetAssociation.dataset_id = Dataset.id
- UserGroupAssociation where user_id == User.id
- UserRoleAssociation where user_id == User.id EXCEPT FOR THE PRIVATE ROLE
- UserAddress where user_id == User.id
Purging Histories and Datasets must be handled via the cleanup_datasets.py script.


Email ↓User NameGroupsRolesExternalLast LoginStatus
For 0 selected items:    



On Jan 28, 2012, at 9:09 AM, Bossers, Alex wrote:

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:

  http://lists.bx.psu.edu/

___________________________________________________________
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:

 http://lists.bx.psu.edu/

Greg Von Kuster
Galaxy Development Team
greg@bx.psu.edu