SSH option IdentityAgent is not documented

[antoineco]

What page or section of the docs have an issue?

https://wezfurlong.org/wezterm/ssh.html

Describe the issue

According to the code below, the IdentityAgent option is supported, both in config files and SSH config files, but it is not documented.

wezterm/wezterm-ssh/src/config.rs

Lines 589 to 593 in 1cd340b

	if !result.contains_key("identityagent") {
	if let Some(sock_path) = self.resolve_env("SSH_AUTH_SOCK") {
	result.insert("identityagent".to_string(), sock_path);
	}
	}

wezterm/wezterm-ssh/src/config.rs

Lines 1316 to 1318 in 1cd340b

	Host !a.b *.b
	ForwardAgent no
	IdentityAgent "${HOME}/.ssh/agent"

Ref. #3772

[wez]

Should be fixed now, thanks!

[github-actions]

I'm going to lock this issue because it has been closed for 30 days ⏳. This helps our maintainers find and focus on the active issues. If you have found a problem that seems similar to this, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further.