“-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).”Tagged: MYSQL, Vagrant Bugs