Guilty Pleasure
rmhk -- quickly remove known host key
#! /bin/zsh
USAGE="usage: ${0:t} hostname\n Removes hostname host key from ssh known_hosts"
if [[ $# -ne 1 || $1 == -* ]]; then
echo $USAGE
exit
fi
host=$1
sed -i~ -e "/^$host/d" "$HOME/.ssh/known_hosts"