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

Host amazon
	Hostname 3.74.164.123
	User ec2-user
	IdentityFile ~/.ssh/id_amazon


Host gitlab.gwdg.de
	HostName gitlab.gwdg.de
	User git
	IdentityFile ~/.ssh/id_university

Host strato
	HostName hahn1.one
	User root
	IdentityFile ~/.ssh/id_strato

Host bitzz
	HostName bitzz.de
	User jonas

Host physik
	HostName login.physik.uni-goettingen.de
	User j.hahn02
	IdentityFile ~/.ssh/id_university

Host informatik
	HostName shell.informatik.uni-goettingen.de
	User j.hahn02

Host pvemsi
	HostName pvemsi
	User root

Host dock
	HostName dockerman
	User admin