Re: [galaxy-dev] How to delete user (and unshared files) in local instance by galaxy-admin (panel)
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:n...@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 daybut 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: >> >> 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/
Re: [galaxy-dev] How to delete user (and unshared files) in local instance by galaxy-admin (panel)
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:n...@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 daybut 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: > > 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/
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 daybut 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: > > 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/
Re: [galaxy-dev] How to delete user (and unshared files) in local instance by galaxy-admin (panel)
Greg, Thanks. Stupid to have missed that universe setting Alex Van: Greg Von Kuster [mailto:g...@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 [ ] d...@you.com<http://localhost:8763/admin/users?sort=email&webapp=galaxy&operation=information&id=f3f73e481f432006> admin-user 0 1 no never [ ] te...@bx.psu.edu<http://localhost:8763/admin/users?sort=email&webapp=galaxy&operation=information&id=529fd61ab1c6cc36> regular-user1 0 1 no 2 days ago [ ] te...@bx.psu.edu<http://localhost:8763/admin/users?sort=email&webapp=galaxy&operation=information&id=d9abeb98649a6a7e> regular-user2 0 1 no 2 days ago [ ] t...@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 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 Van: Hans-Rudolf Hotz [h...@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 daybut 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 g...@bx.psu.edu<mailto:g...@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/
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 ↓ User Name Groups Roles ExternalLast Login Status d...@you.com admin-user 0 1 no never te...@bx.psu.edu regular-user1 0 1 no 2 days ago te...@bx.psu.edu regular-user2 0 1 no 2 days ago t...@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 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 > > > > Van: Hans-Rudolf Hotz [h...@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 daybut 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 g...@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/
Re: [galaxy-dev] How to delete user (and unshared files) in local instance by galaxy-admin (panel)
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 Van: Hans-Rudolf Hotz [h...@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 daybut 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/
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 daybut 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/