OpenSSH〜/ .ssh / config特定于主机的替代无效

我已经尝试~/.ssh/config在本指南的帮助下设置文件。但是，特定于主机的用户替代无效，并且ssh尝试使用全局用户名而不是特定于主机的用户名进行连接。我的ssh配置是这样设置的：

$ cat ~/.ssh/config
User my_global_username

Host dev1
    HostName 10.40.10.41
    User my_username_on_dev_machines

我也尝试过将全局用户名放在Host *条目下无济于事。我正在运行的OpenSSH版本和构建是OpenSSH_6.2p2 Ubuntu-6ubuntu0.1, OpenSSL 1.0.1e 11 Feb 2013 `。

中没有“全局”值.ssh/config。如果要使用默认值，则必须将其放在以下Host *部分中：

Host dev1
    HostName 10.40.10.41
    User my_username_on_dev_machines

Host *
    User my_global_username

请注意顺序：第一场比赛获胜！