On Wed, 18 Jul 2018 06:37, benjamin.d@gmail.com said:
> Practically, this means that once a key is added to gpg-agent it's unclear
> as to how to remove it. ssh-add -d/-D doesn't work, and you can't simply
> remove keys from ~/.ssh/ and restart the agent as gpg-agent's not referring
Right,
Ah, I found the thread 'Deleting SSH key(s) from agent' from 2016, wherein
it was pointed out that gpg-connect-agent's keyinfo and delete_key commands
can be used to delete keys:
https://lists.gnupg.org/pipermail/gnupg-users/2016-August/056499.html
On 18 July 2018 at 14:37, Ben Low wrote:
>
gpg-agent's enable-ssh-support option makes it "possible to use the
gpg-agent as a drop-in replacement for the well known ssh-agent"
gpp-agent(1).
There is a caveat in this 'drop-in replacement': unlike the well-known
ssh-agent which caches keys only for the duration of the agent's process
