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/
