Skip to content

remote: Add ssh timeout setting#44823

Merged
Veykril merged 4 commits intozed-industries:mainfrom
marcocondrache:fix/ssh-timeout
Dec 15, 2025
Merged

remote: Add ssh timeout setting#44823
Veykril merged 4 commits intozed-industries:mainfrom
marcocondrache:fix/ssh-timeout

Conversation

@marcocondrache
Copy link
Contributor

Closes #21527

Release Notes:

  • Added a setting to specify the ssh connection timeout

Signed-off-by: Marco Mihai Condrache <52580954+marcocondrache@users.noreply.github.com>
@cla-bot cla-bot bot added the cla-signed The user has signed the Contributor License Agreement label Dec 14, 2025
@github-actions github-actions bot added the community champion Issues filed by our amazing community champions! 🫶 label Dec 14, 2025
@github-project-automation github-project-automation bot moved this to Community Champion PRs in Quality Week – December 2025 Dec 14, 2025
Signed-off-by: Marco Mihai Condrache <52580954+marcocondrache@users.noreply.github.com>
Signed-off-by: Marco Mihai Condrache <52580954+marcocondrache@users.noreply.github.com>
Signed-off-by: Marco Mihai Condrache <52580954+marcocondrache@users.noreply.github.com>
Comment on lines +1263 to +1265
if let Some(timeout) = self.connection_timeout {
args.extend(["-o".to_string(), format!("ConnectTimeout={}", timeout)]);
}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I am not sure we want this here, this will affect all the commands we run after

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@Veykril I’m a bit unsure what the best approach is here. From what I can tell, the only hardcoded timeout left is in the binary download step, and it applies to creating the connection rather than the download itself. That’s what led me to add it there, mainly for consistency.

I’m happy to adjust this though - curious what you think would be the cleanest way

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Okay I double checked myself, I was wrong here. This is not used by what I thought, so this looks good, thanks!

@Veykril Veykril self-assigned this Dec 15, 2025
Copy link
Member

@Veykril Veykril left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@Veykril Veykril merged commit 6401ac0 into zed-industries:main Dec 15, 2025
23 checks passed
@github-project-automation github-project-automation bot moved this from Community Champion PRs to Done in Quality Week – December 2025 Dec 15, 2025
CherryWorm pushed a commit to CherryWorm/zed that referenced this pull request Dec 16, 2025
Closes zed-industries#21527

Release Notes:

- Added a setting to specify the ssh connection timeout

---------

Signed-off-by: Marco Mihai Condrache <52580954+marcocondrache@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed The user has signed the Contributor License Agreement community champion Issues filed by our amazing community champions! 🫶

Projects

Development

Successfully merging this pull request may close these issues.

Support customizable SSH connection timeout

2 participants