def search(public_ip):
    result = local("ssh-keygen -H -F {0}".format(public_ip), capture=True)
    return bool(result)
Search for the ``public_ip`` in the ~/.ssh/known_hosts file,
dataset/ETHPy150Open rizumu/bootmachine/bootmachine/known_hosts.py/search