Improve the documentation of ssh-keygen's -R parameter to explicitly describe how to delete the line in the "known_hosts"-file for non-standard port connections. current: ___ -R hostname Removes all keys belonging to hostname from a known_hosts file. This option is useful to delete hashed hosts (see the -H option above). ___ proposed: ___ -R hostname -R [hostname]:port Removes all keys belonging to hostname and port from a known_hosts file, brackets and ":port" may be ommited if the standard port (22) is used. This option is useful to delete hashed hosts (see the -H option above). ___ Personal remark, at least in the documentation the use of "[]" may lead to misinterpretation, therefore the explicit notion of them in the proposal. It would seem that the use of the representation as "hostname:port" is more natural. Kind regards, Thomas Hofmann
Fixed - it now reads: -R hostname | [hostname]:port Removes all keys belonging to the specified hostname (with optional port number) from a known_hosts file. This option is useful to delete hashed hosts (see the -H option above).
closing resolved bugs as of 8.6p1 release