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.