“-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).”— Luis Abarca, serverfault.comTagged: MYSQL, Vagrant Bugs