Update the nukehost function.

dotprofile.org

@@ -94,12 +94,9 @@ push_env()
 # host key changes.
 nukehost()
 {
-  if [ -z "$1" ]; then
-    echo "Usage: nukehost <hostname>"
-    echo "       Removes <hostname> 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