Я попытался настроить файл ~/.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
`.