Le sostituzioni specifiche dell'host OpenSSH ~ / .ssh / config non funzionano

Ho provato a configurare il mio ~/.ssh/configfile con l'aiuto di questa guida. Tuttavia, l'override dell'utente specifico dell'host non ha alcun effetto e ssh tenta di connettersi utilizzando il nome utente globale anziché quello specifico dell'host. La mia configurazione SSH è impostata in questo modo:

$ cat ~/.ssh/config
User my_global_username

Host dev1
    HostName 10.40.10.41
    User my_username_on_dev_machines

Ho anche provato a mettere il nome utente globale sotto una Host *voce inutilmente. La versione OpenSSH e la build che sto eseguendo è OpenSSH_6.2p2 Ubuntu-6ubuntu0.1, OpenSSL 1.0.1e 11 Feb 2013 `.

Non esiste alcun valore "globale" in .ssh/config. Se si desidera avere un valore predefinito, è necessario inserirlo in una Host *sezione:

Host dev1
    HostName 10.40.10.41
    User my_username_on_dev_machines

Host *
    User my_global_username

Nota l'ordinamento: la prima partita vince!