This website requires JavaScript.
Explore
Help
Sign In
opensource
/
galaxy
Watch
3
Star
0
Fork
0
mirror of
https://github.com/galaxyproject/galaxy.git
synced
2026-09-22 06:16:50 +08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
35dd4e1ef9a6e4acae072cca89e17547da72dbca
galaxy
/
scripts
/
migrate_tools
T
History
Greg Von Kuster
3c5f027a73
Enable the installation of the emboss_5 repository from the tool shed under the condition that any of its contained tools are defined in a local tool_conf.xml file.
2012-03-21 16:53:26 -04:00
..
0002_tools.sh
The InstallManager is now a stand-alone appication that attempts to load the tool panel as closely as possible to the way it was loaded before tools were migrated from the Galaxy distribution to the tool shed.
2012-02-28 11:38:08 -05:00
0002_tools.xml
Enable the installation of the emboss_5 repository from the tool shed under the condition that any of its contained tools are defined in a local tool_conf.xml file.
2012-03-21 16:53:26 -04:00
migrate_tools.py
More fixes for handling mor ethan one non-shed tool anel config when installing tools migrated from the distrobution to the tool shed.
2012-03-15 14:12:59 -04:00