ChromeのSecure Shellでknown_hostsに登録されたホストキーを変更

known_hostsに登録されたホストキーを変更する
で通常のknown_hostsの変更方法をメモしました。
続けてChromeをターミナルとして使えるSecure Shellというエクステンションがありますが
こいつもたまに同じ問題を起こしてくれます。

しかもメニューには消したり変更したりするものが
実装されていない様子なので調べてみました。

Continue reading