Is your feature request related to a problem? Please describe.
I'm always frustrated when I open the Terminal Web UI and the port number isn't correct (I use a different port than 22 for SSH).
Describe the solution you'd like
Ideally a way to prepopulate the port number with a custom port number (maybe even the username too, so I'd only need to enter the password).
Describe alternatives you've considered
No alternatives from what I've seen, although I guess there's a setting in GH somewhere that sets the port to 22. However, I don't think I'm the correct person to be forking and bringing in a PR for such a complex project.
Is your feature request related to a problem? Please describe. I'm always frustrated when I open the Terminal Web UI and the port number isn't correct (I use a different port than 22 for SSH).
Describe the solution you'd like Ideally a way to prepopulate the port number with a custom port number (maybe even the username too, so I'd only need to enter the password).
Describe alternatives you've considered No alternatives from what I've seen, although I guess there's a setting in GH somewhere that sets the port to 22. However, I don't think I'm the correct person to be forking and bringing in a PR for such a complex project.