I use PostgreSQL for my local galaxy and I want to manually delete a galaxy user through command line, is there script for doing this? or I need to log in postgresql and then delete it ?
Thank you very much.
Hans-Rudolf is correct.
Another option is to have the user change their registered email address under User > Preferences to something else. I am not sure if they would need to verify/activate the account after, if you just plan on deleting it, but that would probably be a good idea. So have the user enter another active email account and do that, then delete. How to: https://galaxyproject.org/support/account-updates/
That removes the prior email account from the databases using GUI methods and could be a safer route.
If you already purged the account, it can be restored first, to allow the user to make this change. Again, use the GUI tools, this time under Admin. The same menu you used to purge/delete will have an option to undelete.
Thanks! Jen, Galaxy team
Why not just purge the user in the Galaxy interface? The kilobyte or so of database space is negligible then.
Yes, galaxy user accounts can be deleted and purged from Galaxy admin interface.
The Status was become purged since I purged one of test account on my local galaxy, but the register info remain in galaxy_user table and I can not sign in with the same email and public name.It seems the user don't purged entirely.
I don't know, why you want to 're-use' the same email address....but if you really have to, I would just change the entry in the 'email' column (e.g. change 'foo@bar.ciom' to '_foo_@bar.com') in the galaxy_user table. But be very careful if you manually interact with the database and do this only as the very last option. And of course make sure you have a backup of your PostgreSQL database.
Many thanks for your help. I re-use the same email address just for a test.