diff --git a/dotprofile.org b/dotprofile.org index 6fabecd..367797a 100644 --- a/dotprofile.org +++ b/dotprofile.org @@ -94,12 +94,9 @@ push_env() # host key changes. nukehost() { - if [ -z "$1" ]; then - echo "Usage: nukehost " - echo " Removes from ssh known_host file." - else - sed -i -e "/$1/d" ~/.ssh/known_hosts - fi + for x in $(echo $*); do + sed -i -e "/$x/d" ~/.ssh/known_hosts + done } # Cheap copy function to make copying a file via ssh from one host