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