Host Ersa
    HostName didictateur.duckdns.org
    User droidian
    Port 25025

Host ens
    SetEnv TERM=xterm
    HostName ssh.eleves.ens-rennes.fr
    User adeco866
    Port 22022

Host Io
    HostName cosmoris.duckdns.org
    User io
    Port 24024

Host Europa
    HostName cosmoris.fr
    User ubuntu
    Port 22

Host github
    HostName github.com
    User git
    IdentityFile ~/.ssh/id_ed25519

Host github-aur
    HostName aur.archlinux.org
    User aur
    IdentityFile ~/.ssh/id_aur

Host github-uga
    HostName github.com
    User git
		IdentityFile ~/.ssh/id_rsa

Host github-pro
		HostName github.com
		User git
		IdentityFile ~/.ssh/id_cosmoris
	
Host gitlab-uga
		HostName im2ag-gitlab.univ-grenoble-alpes.fr
		User git
		IdentityFile ~/.ssh/id_gitlab_uga
		Port 2222

Host oracle
    SetEnv TERM=xterm
    HostName im2ag-tpora-08.u-ga.fr
		User oracle

Host ssh-gra.inria.fr
    User adecosse
    IdentityFile ~/.ssh/id_inria

Host paon
		HostName paon
		User adecosse
		ProxyJump adecosse@ssh-gra.inria.fr
    IdentityFile ~/.ssh/id_inria

Host verseau
		HostName verseau
		User adecosse
		ProxyJump adecosse@ssh-gra.inria.fr
		IdentityFile ~/.ssh/id_inria