Aahz wrote: >>>Host pythondev >>> Hostname dinsdale.python.org >>> User pythondev >>> IdentityFile ~/.ssh/pythondev >>> >>I'm confused again; are you saying that we should have a host named >>pythondev.python.org? I'm not sure that's necessary. > > > No, pythondev is simply an SSH alias for dinsdale -- the server knows > nothing about it. I don't quite understand the "User pythondev" line, > though -- I think that's a mistake.
That's intentional. "ssh pythondev" now becomes equivalent to ssh -l pythondev -i ~/.ssh/pythondev dinsdale.python.org IOW, the User option is equivalent to specifying the -l option. Regards, Martin _______________________________________________ Python-Dev mailing list [EMAIL PROTECTED] http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com