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
galaxy-dev@lists.galaxyproject.org