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.

Sign up for GitHub

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

Jump to bottom

ssh: add extraConfig #801

Closed
wants to merge 0 commits into from
Closed

ssh: add extraConfig #801

wants to merge 0 commits into from

Conversation

kloenk
Copy link
Contributor

@kloenk kloenk commented Nov 7, 2023

No description provided.

@kloenk kloenk force-pushed the extra-ssh-opts branch 2 times, most recently from eb70090 to 7103bb5 Compare January 30, 2024 16:12
@RealHarshThakur
Copy link

RealHarshThakur commented Apr 26, 2024 •
edited
Loading

Thank you @kloenk for this PR.
I'm trying to setup a Linux builder on a non-default ssh port and it doesn't seem possible without this PR. Curious if there's an offline discussion about getting this merged or if something is blocking you(that I may potentially be able to help with)

@vifino
Copy link

vifino commented May 9, 2024

Hey, this is something I stumbled over as well, I'd really like this!

@kloenk kloenk force-pushed the extra-ssh-opts branch 2 times, most recently from 469e391 to 5e495bd Compare January 29, 2025 20:12
@kloenk kloenk closed this Jan 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@kloenk @RealHarshThakur @vifino