The raven.properties
file also contains
configuration for the workbench plugin manager. Specifically it declares a
location to go to for a list of available profiles (used by the
menu) as follows :
#raven.profilelist points to an XML document describing all the available taverna profiles
#a space seperated list of URLs can be provided, and the first one that can be connected to will be used - this facilitates the use of mirrors
raven.profilelist=http://www.mygrid.org.uk/taverna/updates/1.7.1/taverna-1.7.1-profiles.xml /
http://bioinf.ncl.ac.uk/mirror/taverna/updates/1.7.1/taverna-1.7.1-profiles.xml /
http://mirror.omii.ac.uk/taverna/updates/1.7.1/taverna-1.7.1-profiles.xml
...and a list of plugin sites used by the plugin manager (the value for the raven.pluginsite.1 is all one line, split here to make it possible to read) :
# The default plugin update sites, with mirror sites seperated by commas
# the .name is optional and provides a name for the site
raven.pluginsite.1=http://www.mygrid.org.uk/taverna/updates/1.7.1/plugins/,
http://bioinf.ncl.ac.uk/mirror/taverna/updates/1.7.1/plugins/,
http://mirror.omii.ac.uk/taverna/updates/1.7.1/plugins/
raven.pluginsite.1.name=Taverna Plugin Update Site
Also, as mentioned in What
happends when Taverna loads , default plugins can be defined in
taverna.startup/plugins/plugins.xml
.
If you wish to use your own specific Raven profile rather than those published by myGrid, you can do this by defining the raven.profile property as a URI that points to your profile XML document. The presence of this property forces this profile to be used immediately.