[Python-Dev] Admin access using svn+ssh

["Martin v. Löwis"]

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