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!
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:
To search Galaxy mailing lists use the unified search at: