Custom port for SSH for Infisical SSH

[ferdzo]

Many people for security reasons have a different port for SSH. Being able to set a custom port on the Infisical SSH feature would be a great thing to have.

[devtekve]

Yeah... I was surprised it wasn't a thing already 🤦