[PATCH] allow user to update changed key in known_hosts

[Roumen Petrov]

Hi Jirca,


Jirka Bohac wrote:
> Hi list,
> 
> I use ssh a lot and I often need to connect to hosts whose host key has
> changed. If a host key of the remote host changes ssh terminates and the
> user has to manually delete the offending host key from known_hosts.

Use StrictHostKeyChecking=no for those hosts.


> I talked to other people and they also seemed to be bothered by this
> behaviour

May be people who don't read manual pages will bother other too ?


>, so I have just written a small patch that introduces a new
> config option: OffendingKeyOverride


Please, could you check ssh_config(5) and other manual pages for
more usefull options for your environment.