Is it possible to remove a particular host key? about the-bastion HOT 3 CLOSED

Yes, there is an osh command to do that: --osh selfForgetHostKey --host ip.or.example.org.
The documentation is over here.

For completeness sake, if remote hostkeys change often or for some reason on specific accounts you want to relax this security, you can use --osh accountModify --account ACCOUNT --egress-strict-host-key-checking yes|no|ask|default|bypass, more info here

from the-bastion.

It's technical possible to replace the the command ssh-keygen with the `osh.pl``?
So all users have distinct and clear instructions what is to do. I am a lazy it admin.. ;-)

from the-bastion.

Actually, this is already the case, but after looking into it, I see that the output message of SSH changed a bit in the latest versions, so this is no longer correctly detected to print our own help message instead.

from the-bastion.