id: tool_list type: - masthead activate: true icon: fa-list tooltip: Generate tool list function: > setTimeout(function() { alert('The tool file will be created and opened in a new window. Please ' + 'be patient, this might take a moment.'); }, 1); $.getJSON(Galaxy.root + "api/webhooks/tool_list/data", function(data) { var popup = window.open('tool_list.html'); var html = '

' + 'Create a Docker flavour of this instance:

' + '' + '
The textarea on ' + 'the right shows the list of installed tools on this Galaxy instance.' + 'You can use it to build a custom Galaxy flavour based on the same ' + 'tools. Keep in mind that this list only contains tools which can be ' + 'installed from a toolshed.

1. Save this list as a .yaml ' + 'file and edit it according to your needs. You might want to add or ' + 'remove tools.
2. Follow ' + 'this guide on how to create a new ' + 'Galaxy Docker flavour. Dont forget to add and install the tool list ' + 'with

ADD my_tool_list.yml $GALAXY_ROOT/my_tool_list.yml' + '

and

' + 'RUN install-tools $GALAXY_ROOT/my_tool_list.yml
'; popup.document.write(html); });