I'd like to make a tool or tool category visible only to certain users on a Galaxy installation. I've trawled the Galaxy Wiki/Searches a fair bit for this but didn't see it, hope it's not obvious.
Context is: a Galaxy Cloudman installation running on AWS, with a category of extra custom tools added to the standard menu. One of them is the latest "development" version of a tool which should ideally be only visible and runnable for the developer.
I've got a temporary solution where the development version checks the Galaxy login id, eg. email@example.com and exits with an error if fred is not one of the privileged id's. I'm trusting that the standard security in Galaxy will be enough to prevent any determined workaround to make it run (and indeed view the code).
However it would be better if non-privilged users couldn't even see the tool. Any way to do that ?