3 DIR=$(dirname `readlink -f $0`)
5 SSHCONF="-F $DIR/ssh_config"
14 echo "$host" | grep -q "^\([0-9]\+\.\|[0-9a-fA-F]\+:\).*"
17 # assume we got an ip address
21 echo "$host" | grep -q ".*1$"
24 # {host}1, use second address
26 host=`echo "$host" | sed -n -e "s/1$//p"`
28 ip="`echo $HOSTNAMEIPV4 | sed -n -e "s/^.*${host},//gp" | awk -F, "{ print ${pos} }" | awk '{ print $1 }'`"
31 echo "Host '$host' unknown"
37 exec ssh $SSHCONF -q root@$ip $@