Remote SSH External Tools

Last modified: 11 February 2024

This page describes the settings that you can configure for remote external tools. For more information about adding and using external tools, refer to External tools.

The Remote SSH External Tools settings page

Use the toolbar buttons to manage the list of available external tools. Clear checkboxes for tools and groups that you want to keep but not have available in menus.

When you create, edit, or copy an external tool, you need to provide the tool's settings.

Creating, editing, or copying a remote external tool