ホストOSの環境設定について詳細に書いた, known_hostsの扱いを見直し