# kill_known_host: Remove an entry from the ssh hosts file.
# Usage: kill_known_host [options] <IP>|<hostname>
# Options: -n Only report key; don't delete it.
# kill_known_host: Remove an entry from the ssh hosts file.
# Usage: kill_known_host [options] <IP>|<hostname>
# Options: -n Only report key; don't delete it.