Não há valor "global" em .ssh/config
. Se você quiser ter um valor padrão, coloque-o em uma seção Host *
:
Host dev1
HostName 10.40.10.41
User my_username_on_dev_machines
Host *
User my_global_username
Observe a ordem: o primeiro jogo vence!