Specification of identity for ssh client to use

[Daniel Kahn Gillmor]

On December 8, djm at mindrot.org said:

 > Alan Barrett wrote:
 >
 > > How do I specify an "IdentityFile" that is not a file?
 > 
 > Darren answered that:
 > 
 > > You still need a readable copy of the *public* key file to authenticate
 > > via a private key stored in ssh-agent.

in particular, if you have a single identity stored in your agent, you can
extract the public key into a file with

 ssh-add -L > ~/.ssh/high-priority-key.pub

hth,

	--dkg