fix ssh known_hosts

#!/bin/bash

if [ $# -ne 1 ]
then
  echo "Usage: $0 line"
  exit
fi

line=$1
tmp=tmp_$RANDOM

sed $line'd' ~/.ssh/known_hosts > $tmp
mv $tmp ~/.ssh/known_hosts