Create/Edit/Copy Tool Dialog (Remote SSH External Tools)
From the Remote SSH External Tools page: , or
Edit the settings for your external tool.
Last modified: 29 May 2020
From the Remote SSH External Tools page: , or
Edit the settings for your external tool.