title: ssh use known_hosts other than $HOME/.ssh/known_hosts
body: <p>Is it possible to run SSH using another <code>known_hosts</code> file than the standard <code>$HOME/.ssh/known_hosts</code> for the user?</p>
  
  <p>Note, that SSH uses <code>$HOME</code> original for the user. If you try to change it, e.g.</p>
  
  <pre><code>export HOME=some_other_location
  </code></pre>
  
  <p>it does not affect the location SSH uses to look for <code>known_hosts</code>.</p>