Charlie Harvey

Using sed would let you do the same in fewer characters



sed '5d' known_hosts > b && mv b known_hosts