Hardcoded default port breaks "bookmarks" from `ssh_config`
Hi,
It is incorrect to set port 22 in the spawned ssh command line because it overrides the users ~/.ssh/config. The proper thing to do would be to:
- either parse ~/.ssh/config and set the proper port.
- or not set the port at all (like it used to) because then ssh does the right thing and reads ~/.ssh/config.
Thank you! Dimitris