AddKeysToAgent yes

Host bocal
    Hostname bocal.cs.univ-paris8.fr
    User akennel
    IdentityFile ~/.ssh/bocal

Host prog-dec
    ProxyCommand ssh bocal nc prog-dec 22
    User akennel
    IdentityFile ~/.ssh/bocal

Host code.up8.edu
    PreferredAuthentications publickey
    IdentityFile ~/.ssh/codeup8edu

Host github.com
    PreferredAuthentications publickey
    IdentityFile ~/.ssh/github

Host gitlab.com
    PreferredAuthentications publickey
    IdentityFile ~/.ssh/gitlab

Host git.kennel.ml
    PreferredAuthentications publickey
    IdentityFile ~/.ssh/maison