I thought I had read that newer versions of Galaxy were able to watch the tools directory
and update the tools menu when any tool wrappers were added, deleted, or modified;
basically the "Admin -> Reload a tool's configuration" without the
administrator actually having to do anything. However, my Google searches are not turning
up anything? Am I over-remembering something I had read or are my Google skills failing
This is for an upcoming course that will involve students developing tools and pipelines.
We want the teaching assistants to be able to update their master Galaxy instance with new
tools without a lot of button clicks or a server restart.
Department of Computer Science
Vassar College, Poughkeepsie NY