[Feature Request] delete defined line in known_hosts file

[Marc Haber]

Hi,

for a test lab, I'm trying to write a small shell script that will
eradicate all information regarding a special host from the
known_hosts file. Unfortunately, it is quite non-trivial to find out
what ssh doesn't like with a host.

ssh says which line in known_hosts has the offending key, but
ssh-keygen -R doesn't take a line number. Am I using an undocumented
interface when I simply use sed to delete the appopriate line?

If so, it would be good if ssh-keygen -R would also take a line number
to delete from the known_hosts file.

Greetings
Marc

-- 
-----------------------------------------------------------------------------
Marc Haber         | "I don't trust Computers. They | Mailadresse im Header
Mannheim, Germany  |  lose things."    Winona Ryder | Fon: *49 621 72739834
Nordisch by Nature |  How to make an American Quilt | Fax: *49 3221 2323190