If you set the following in your universe_wsgi.ini, you'll be able to delete /
# 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
Email ↓ User Name Groups Roles External Last Login
2 days ago
2 days ago
~ 20 hours ago
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!?
> Van: Hans-Rudolf Hotz [h...@fmi.ch]
> Verzonden: zaterdag 28 januari 2012 13:10
> Aan: Bossers, Alex
> CC: firstname.lastname@example.org
> 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
>> 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:
> 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:
Greg Von Kuster
Galaxy Development Team
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: