Ein Sammelsurium kurzer Gedankenstützen...

Unter Linux eine bestimmte Zeile aus einer Textdatei (z.B. Zeile 13 aus ~/.ssh/known_hosts) löschen:

sed -i "13d" ~/.ssh/known_hosts