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

順序に注意してください：最初の試合が勝ちです！