Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Don't strip username from jumphost, add it if it's missing #614

Merged
merged 1 commit into from
Feb 1, 2024

Conversation

ddebin
Copy link
Contributor

@ddebin ddebin commented Jan 31, 2024

Don't strip username from jumphost, add it if it's missing.

Fix a bug when connecting with two different usernames for server and jumphost.
Fix command line parsing bug when including username in jumphost.
Fix a bug when ProxyJump is set in ~/.ssh/config with a username but without port.

Fix #532

…g when connecting with two different usernames for server and jumphost ; fix command line parsing bug when including username in jumphost.
@MisterTea
Copy link
Owner

Thanks for the PR! Disregard the CI failure: it's a vcpkg download issue.

@MisterTea MisterTea merged commit da05312 into MisterTea:master Feb 1, 2024
19 of 24 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Using et through a jumphost
2 participants