AddKeysToAgent yes Host brussels HostName 145.100.104.43 User root Host github.com HostName github.com User pizzapim IdentitiesOnly yes Host max HostName max.dmz User root Host lewis HostName lewis.hyp User root Host hermes HostName hermes.dmz User root Host atlas HostName atlas.hyp User root Host jefke HostName jefke.hyp User root Host maestro HostName maestro.dmz User root # Default user Host * User root