Supondo que o IDE não seja uma porcaria total, ele deve seguir a configuração dada em ~/.ssh/config
. Basta definir cada Host
para apontar para o mesmo HostName
, mas um Port
diferente. Veja a página ssh_config(5)
man para detalhes.