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
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".
Hi Everyone,
I am looking to set up a web server and handler process for galaxy within a
virtual machine. I've tried following the instructions written here:
https://wiki.galaxyproject.org/Admin/Config/Performance/Scaling#Starting_and_Stopping
But, I can still start Galaxy with sh run.sh, also the
Dear all,
I've created different pages in html and php, and I put them in apache by
changing the port.
Now I changed the SSL certifcate and I moved galaxy web adress to https.
However my other page are not recognized because they are still in http.
Do you know where I can put my php and html pages
