Managing Tools in the DE
Discovery Environment tools are Docker images from which apps are created. There are numerous tools already available in the DE for new apps you are creating. It's easiest to just use one of those tools. However, sometimes the tool or version isn't available, so you can request installation of a new tool or create a new one yourself. If you create a new tool, it is available by default in your personal Tools list and available only for your use. You can share the tool with specific collaborators, or make it public (all tools created prior to the 2.13 release in June 2017 are public).
You can edit and delete a tool you own, as well as jump-start the creation of a new app from the Tools window.
Managing Tools
Adding a tool and Requesting a tool
See Adding or Requesting a New Tool.
Editing a tool
For tools you created, you can edit the tool name, description, version, and Docker Hub URL. The image name and tag are not editable after the tool has been created.
- In the Apps window, click Manage Tools at the top.
- Click to select the tool you own that you want to edit.
- Click the Tools menu and then click Edit.
- Change the image name, description of the tool, version, and/or Docker Hub URL as needed.
- When done, click OK.
Deleting a tool
You can delete a tool you created.
- In the Apps window, click Manage Tools at the top.
- Click to select the tool you own that you want to delete.
- Click the Tools menu and then click Delete.
- Click Yes to verify you want to delete the tool.
Using a tool to create an app
Once you've found the tool to use in an app you want to create, you can "jump-start" the creation of a new app right from the Tools menu.
- In the Apps window, click Manage Tools at the top.
- Click to select the tool to use for the new app.
- Click the Tools menu and then click Use in app. The Create App window opens with the tool selected.
- Continue to Creating a New App Interface for instructions on how to create the new app.
Sharing tools
Once you have created a tool, by default, it is private and available only for your personal use. You can share it with selected collaborators or make the tool public (the default for all tools created prior to the 2.13 release). You also can edit and delete a tool you created that is in Own status. Giving Own access allows the collaborator to share, edit, and delete the tool, so grant this permission with care.
 Before a new app can be created, the tool that app is based on must be made available in the DE.
Sharing a tool with a collaborator
- In the Apps window, click Manage Tools at the top.
- Click to select the tool you own that you want to share.
- Click the Share menu and then click Share with collaborators.
- Select a user in your Collaborators list: Click Choose Collaborators, select the user, click OK, and then click Done.
To add a new collaborator, click in the search field, begin entering the user's name, and then click the user's name from the list. - To change the collaborator's permission level, click the Permissions down arrow and change the permission.
- Repeat for each collaborator.
- Click Done.
Sharing a tool with the public
- In the Apps window, click Manage Tools at the top.
- Click to select the tool you own that you want to share with the public.
- Click the Share menu and then click Make public.
- This opens a form which you will need to fill it up and click Submit
- You will receive email notifications as the tool progresses through the process of making it public.
Unsharing a tool
- In the Apps window, click Manage Tools at the top and then click to select the tool to unshare.
- Click the Share menu and then click Share with collaborators.
- Find the collaborator and click
- Click to the right of the collaborator's name.
- Click Done.