# Rules for all connections
Host *
	AddKeysToAgent confirm
	ForwardAgent no

Host 0?? 0???
	HostName faui%h.informatik.uni-erlangen.de

Host man? man?? big?
	HostName faui49%h.informatik.uni-erlangen.de

Host faui2hg
	HostName faui2hg.informatik.uni-erlangen.de
	User est_tpreisner

Host faui* !faui2hg*
	HostName %h.informatik.uni-erlangen.de

Host ircbox
	HostName ircbox.cs.fau.de
	User ty28wuqu

Match Host faui*
	User ty28wuqu

Host irc
	HostName tpreisner.de
	User weechat
	IdentityFile ~/.ssh/irc_rsa

Host server
	HostName tpreisner.de
	User root

Host git.tpreisner.de
	Hostname tpreisner.de
	User git
	IdentityFile ~/.ssh/git_rsa
	IdentitiesOnly yes

# use if they havent been defined yet:
Host *
	Compression yes
#	IdentitiesOnly yes
	TCPKeepAlive yes
	UpdateHostKeys ask