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: 03 September 2020
From the Remote SSH External Tools page: ,
or
Edit the settings for your external tool.