How to delete user (and unshared files) in local instance by galaxy-admin (panel)
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
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:
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:
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 Name Groups Roles External Last Login Status diff@you.com admin-user 0 1 no never test1@bx.psu.edu regular-user1 0 1 no 2 days ago test2@bx.psu.edu regular-user2 0 1 no 2 days ago test@bx.psu.edu test 0 1 no ~ 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!? 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:
___________________________________________________________ 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 greg@bx.psu.edu
Greg, Thanks. Stupid to have missed that universe setting.... Alex Van: Greg Von Kuster [mailto:greg@bx.psu.edu] Verzonden: zaterdag 28 januari 2012 16:26 Aan: Bossers, Alex CC: Hans-Rudolf Hotz; galaxy-dev@lists.bx.psu.edu Onderwerp: Re: [galaxy-dev] How to delete user (and unshared files) in local instance by galaxy-admin (panel) 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<http://localhost:8763/admin/users?sort=-email> ↓ User Name<http://localhost:8763/admin/users?sort=username> Groups Roles External Last Login Status [ ] diff@you.com<http://localhost:8763/admin/users?sort=email&webapp=galaxy&operation=information&id=f3f73e481f432006> admin-user 0 1 no never [ ] test1@bx.psu.edu<http://localhost:8763/admin/users?sort=email&webapp=galaxy&operation=information&id=529fd61ab1c6cc36> regular-user1 0 1 no 2 days ago [ ] test2@bx.psu.edu<http://localhost:8763/admin/users?sort=email&webapp=galaxy&operation=information&id=d9abeb98649a6a7e> regular-user2 0 1 no 2 days ago [ ] test@bx.psu.edu<http://localhost:8763/admin/users?sort=email&webapp=galaxy&operation=information&id=adb5f5c93f827949> test 0 1 no ~ 20 hours ago For 0 selected items: [Reset Password] [Delete] [Undelete] [Purge] 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<mailto: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<mailto:greg@bx.psu.edu>
On Jan 27, 2012, at 4: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.
Hi Alex, There's a page in the reports webapp for disk usage by user. --nate
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:
Nate, Thanks I finally configured the reports and they work ok and are useful! Are these reports public? How to limit these to admins only? There doesn't seem to be any login or authentication feature. For our dev server this not a problem but the reports are especially handy for the production environment but don't want the world to be able to access the reports... Maybe I miss something obvious (again). Unfortunate the wiki wasn't very helpful as well. Thanks Alex -----Oorspronkelijk bericht----- Van: Nate Coraor [mailto:nate@bx.psu.edu] Verzonden: maandag 30 januari 2012 22: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) On Jan 27, 2012, at 4: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.
Hi Alex, There's a page in the reports webapp for disk usage by user. --nate
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:
On Jan 31, 2012, at 2:37 AM, Bossers, Alex wrote:
Nate, Thanks I finally configured the reports and they work ok and are useful! Are these reports public? How to limit these to admins only? There doesn't seem to be any login or authentication feature. For our dev server this not a problem but the reports are especially handy for the production environment but don't want the world to be able to access the reports... Maybe I miss something obvious (again). Unfortunate the wiki wasn't very helpful as well. Thanks Alex
Hi Alex, We proxy them behind an Apache server which provides the authentication. --nate
-----Oorspronkelijk bericht----- Van: Nate Coraor [mailto:nate@bx.psu.edu] Verzonden: maandag 30 januari 2012 22: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)
On Jan 27, 2012, at 4: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.
Hi Alex,
There's a page in the reports webapp for disk usage by user.
--nate
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:
participants (4)
-
Bossers, Alex -
Greg Von Kuster -
Hans-Rudolf Hotz -
Nate Coraor