Adam Chlipala <adamc at hcoop.net> writes: > That's too bad. We don't want to ask members to remember which machines > go with which services, but we also don't want to name a machine "ssh" > for Kerberos purposes. If the DNS record "ssh.hcoop.net" points at it, then it would appear that you have already named it such. - a