Hi Edgar,

there is no built-in way in Galaxy to remove a user completely. 'Deleting' just flips the flag in the DB and 'purging' is related to their data/histories. You need to access the DB directly if you want to completely remove a user. Beware that there might be constraints/relations attached to the user row.

Thanks for using Galaxy,

Martin

On Thu, Sep 8, 2016 at 12:22 PM Fernandez Edgar <edgar.fernandez@umontreal.ca> wrote:

Hello gents!

I’ve successfully got my version 16.04 up and running and everything is still there (user, groups roles, data and tools).

Unfortunately , I’m still having a problem with deleting a user. I’ve purge him and then I deleted him.

but, he still shows up in my list of users as "purged".

Is there a way to completely remove him from galaxy?

Do I need to run a script in a cron job to clean my galaxy periodically?

Thanks in advance!

Edgar Fernandez

System Administrator (Linux)

Direction Générale des Technologies de l'Information et de la Communication

Université de Montréal

PAVILLON ROGER-GAUDRY, bureau X-210

( Bur. : 1-514-343-6111 poste 16568

___________________________________________________________
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:
https://lists.galaxyproject.org/

To search Galaxy mailing lists use the unified search at:
http://galaxyproject.org/search/mailinglists/