39439b0
Don't hardcode SSH port to 22 To allow $HOME/.ssh/config to override the default SSH port, don't hardcode '-p 22' in the command line.