One of the little things that ssh does is that it checks and maintainshost keys using exactly and only the name you used on the command line;it doesn't canonicalize the name. (Well, not much; these days it willalso try the IP address that the name resolves to.)

The problem around here is that the names of machines can be specifiedin all sorts of different ways, because of domain search paths; oftenwe have bare name, bare name plus the subdomain, and then two

Sometimes I write little scripts partly in order toplay around with a command I haven't used before. Such is the case withtoday's script, which I have unimaginatively called bsearch-nums . Hereit is:

#!/bin/sh# usage: bsearch-nums START ENDlo=$1; hi=$2while [ $lo -lt $hi ]; do  mid=`echo $lo $hi +2/p | dc`  echo "try: $mid"