Bash

There comes a time in any Linux systems administrator where he faces an issue while connecting to a new server if an old/known name. Although it is not a difficult problem to solve it can be a PITA to manually edit your know_hosts file each time it happens, therefore having a script ready to do it for you can be very handy.