AddKeysToAgent yes

Host github.com
  User git
  IdentityFile ~/.ssh/keys/github.com

Host gitlab.isae-supaero.fr
  User git
  PreferredAuthentications publickey
  IdentityFile ~/.ssh/keys/gitlab.isae-supaero.fr

Host gitlab.com
  User git
  PreferredAuthentications publickey
  IdentityFile ~/.ssh/keys/gitlab.com

Host gitlab.freedesktop.org
  User git
  PreferredAuthentications publickey
  IdentityFile ~/.ssh/keys/gitlab.freedesktop.org


Host gitlab-dev.isae-supaero.fr
  User git
  PreferredAuthentications publickey
  IdentityFile ~/.ssh/keys/gitlab-dev.isae-supaero.fr

Host rpi3
  User dragoon
  HostName 10.163.11.9
  # HostName raspberry-disc-1.isae.fr
  PreferredAuthentications password

Host rpi4
  User dragoon
  HostName 10.163.11.10
  # HostName raspberry-disc-2.isae.fr
  PreferredAuthentications password

Host dragoonpi
  User pi
  HostName 192.168.127.108
  PreferredAuthentications password
