This includes extracting the copy_additional_files role, which may modify the
tool_sheds_conf.xml file, after which a restart of galaxy is required. We
therefore put this new role before galaxy_extras, which at its end already
restarts galaxys. If we don't install any tools, we also don't restart galaxy
at the end of the run. This should accelerate tests and image building.
This includes extracting the copy_additional_files role, which may modify the tool_sheds_conf.xml file, after which a restart of galaxy is required. We therefore put this new role before galaxy_extras, which at its end already restarts galaxys. If we don't install any tools, we also don't restart galaxy at the end of the run. This should accelerate tests and image building.