Host sas
	User tbastian
	Hostname sas.eleves.ens.fr

Host minecraft
	User minecraft
	Hostname games.tobast.fr

Host teeworlds
	User teeworlds
	Hostname games.tobast.fr

Host insurgency
	User insurgency
	Hostname games.tobast.fr

Host factorio
	User factorio
	Hostname games.tobast.fr

Host orac
	User btheophile
	Hostname orac.amt.edu.au

Host www.tobast
	User www
	Hostname tobast.fr

Host proloVM
	User tobast
	Hostname prologin.org
	Port 42022

Host rosa
	Hostname prologin.org

Host git-pass
	User gogs
	Hostname git.tobast.fr
	Identityfile ~/.password-store/id_rsa_pass
	IdentitiesOnly yes

Host promethee
	User root
	Hostname promethee.tobast.fr
	ProxyJump paquebot

Host gourous
	User gourous
	Hostname sas.eleves.ens.fr
	SendEnv LC_REALUSER

# Virtual networks, safe anyway
Host 10.42.0.*
	StrictHostKeyChecking no
	UserKnownHostsFile=/dev/null

Host paquebot
	User tbastian
	Hostname paquebot.ens.fr
Host thym
	User tbastian
	Hostname thym.ens.fr
Host allege
	User tbastian
	Hostname allege.ens.fr

Host annuaire-dev
	User annuaire-dev
	Hostname www.eleves.ens.fr
	SendEnv LC_REALUSER

Host tartelette
	User tobast
	ProxyJump paquebot
	Hostname tartelette.tobast.fr
