Thanks!

On Apr 30, 2018, at 10:01 AM, Martin Čech marten@bx.psu.edu wrote:

Hi Nancy,

for the list of tools on Main that were installed from Tool Shed please look at https://github.com/galaxyproject/usegalaxy-playbook/blob/master/env/main/fil... https://github.com/galaxyproject/usegalaxy-playbook/blob/master/env/main/files/galaxy/var/shed_tool_conf.xml

The tool_conf.xml.main file only consists of tools that are not from the Tool Shed, which is a minority nowadays.

Martin

On Mon, Apr 30, 2018 at 9:57 AM Nancy Ide <ide@vassar.edu mailto:ide@vassar.edu> wrote: Hello

I’m trying to include some of the tools available from usegalaxy.org http://usegalaxy.org/ in the tool menu of our instance of Galaxy. When I look at the list of tools in the Galaxy tool_conf.xml.main file, it does not seem to line up with what you see in the menu at usegalaxy.org http://usegalaxy.org/. I’ve searched through various versions etc. on GitHub, but no luck—they all seem to be identical and do not seem to correspond with the menu at usegalaxy.org http://usegalaxy.org/ (I am looking specifically at the Text Manipulation part of the menu). Any clues on where I should look?

Thanks, Nancy Ide

---

Nancy Ide Professor of Computer Science

Department of Computer Science Vassar College Poughkeepsie, New York 12604-0520 USA

tel: (+1 845) 437 5988 tel:(845)%20437-5988 fax: (+1 845) 437 7498 tel:(845)%20437-7498 email: ide@cs.vassar.edu mailto:ide@cs.vassar.edu http://www.cs.vassar.edu/~ide http://www.cs.vassar.edu/~ide

---

---

Please keep all replies on the list by using "reply all" in your mail client. To manage your subscriptions to this and other Galaxy lists, please use the interface at: https://lists.galaxyproject.org/ https://lists.galaxyproject.org/

To search Galaxy mailing lists use the unified search at: http://galaxyproject.org/search/ http://galaxyproject.org/search/