直接"/home/ユーザ名/.ssh/known_hosts"を編集してもよいのですが、今回コマンドでやってみましたのでメモしておきます。
$ ssh-keygen -F ホスト名
$ ssh-keygen -R ホスト名
-Fオプションは確認、-Rオプションで削除できました。
参考
PRiMENON:DiARY「[Ubuntu]ssh 接続しようとすると「WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!」が表示されるときは」
ev3にpip3の入れ方
sudo apt-get install curl
curl -kL https://bootstrap.pypa.io/get-pip.py | sudo python
エラーの場合
apt get update
してみるといいかも
ssh接続エラーの場合
$ ssh-keygen -F ホスト名
$ ssh-keygen -R ホスト名