Useful sed

Print line X from a text file

$ sed 'LINEq;d' FILE

Delete line X in a text file

$ sed -i LINEd FILE

...for example, .ssh/known_hosts:

$ sed -i 672d ~/.ssh/known_hosts

For some reason, ssh-keygen -R doesn't always work for me. But the sed command does.