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