How to edit known_hosts when several hosts share the same IP and DNS name?

-------------------------------------------------------------------------------
Become or hire the top 3% of the developers on Toptal https://topt.al/25cXVn
-------------------------------------------------------------------------------

Music by Eric Matyas
https://www.soundimage.org
Track title: Puzzling Curiosities

--

Chapters
00:00 Question
02:04 Accepted answer (Score 17)
02:36 Answer 2 (Score 29)
03:17 Answer 3 (Score 20)
04:40 Answer 4 (Score 3)
05:06 Thank you

--

Full question
https://superuser.com/questions/445253/h...

--

Content licensed under CC BY-SA
https://meta.stackexchange.com/help/lice...

--

Tags
#ssh #openssh

#avk47