On 2017-12-11 13:14:55 +0100, Vincent Lefevre wrote: > The downgrade had no effect. But I've found the cause of the problem, > which is in OpenSSH. What happened in the following: after the > upgrade, I had to reboot. But in the mean time, I had added a new > SSH private key identity (~.ssh/id_rsa-...), which was taken into > account only after the reboot. A "ssh-add -l" shows the 7 identities, > id_rsa-svn being the last one.
As a workaround, I can use a IdentityFile + IdentitiesOnly combination. -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
