I have a cluster with Galaxy installed, but from what I can tell there's no way for the user to manually pick which machine(s) a workflow is run on. Is this right? Will I have to hack this in manually?
The best thing that you can do without "hacking" something in is specify options in the job_conf.xml file under "Job Execution" in your universe_wsgi.ini file. Take a look at the provided example as a starting point. You can configure different runners, corresponding to a queue or a specific PBS node on a per-tool basis. I don't see any way to specify workflows, although I think a workflow is identified in the same way as a tool, so you might try using the name of your workflow in place of tool.
Use of this site constitutes acceptance of our User Agreement and Privacy Policy.
version 2.3.6
This is a very good lead, thank you, I'm trying to understand it now. The whole reason for this is for benchmarking purposes (there are lots of different types of machines on the cluster), so if I can indeed do this with this file then I'll make an interface for it.