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 me?
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