From be826557bb5d7b8998f41dbe99105285af3a80e4 Mon Sep 17 00:00:00 2001
From: dtucker <dtucker@openbsd.org>
Date: Mon, 7 Nov 2022 10:09:28 +0000
Subject: [PATCH] The IdentityFile option in ssh_config can also be used to
 specify a public key file, as documented in ssh.1 for the -i option. Document
 this also for IdentityFile in ssh_config.5, for documentation completeness.
 From laalsaas at systemli.org via portable github PR#352, ok jmc@ djm@

---
 usr.bin/ssh/ssh_config.5 | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/usr.bin/ssh/ssh_config.5 b/usr.bin/ssh/ssh_config.5
index 2a0f1e12785..e6973b88f31 100644
--- a/usr.bin/ssh/ssh_config.5
+++ b/usr.bin/ssh/ssh_config.5
@@ -33,8 +33,8 @@
 .\" (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 .\" THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 .\"
-.\" $OpenBSD: ssh_config.5,v 1.374 2022/09/17 10:33:18 djm Exp $
-.Dd $Mdocdate: September 17 2022 $
+.\" $OpenBSD: ssh_config.5,v 1.375 2022/11/07 10:09:28 dtucker Exp $
+.Dd $Mdocdate: November 7 2022 $
 .Dt SSH_CONFIG 5
 .Os
 .Sh NAME
@@ -1011,6 +1011,10 @@ section.
 .It Cm IdentityFile
 Specifies a file from which the user's DSA, ECDSA, authenticator-hosted ECDSA,
 Ed25519, authenticator-hosted Ed25519 or RSA authentication identity is read.
+You can also specify a public key file to use the corresponding
+private key that is loaded in
+.Xr ssh-agent 1
+when the private key file is not present locally.
 The default is
 .Pa ~/.ssh/id_rsa ,
 .Pa ~/.ssh/id_ecdsa ,
-- 
2.20.1