# SSH client configuration
# defines bookmarks/templates for hosts and options to quickly connect to known hosts

Host box box.bugabinga.net
	HostName 46.101.206.216
	User root
	IdentityFile ~/.ssh/box.bugabinga.net.key

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

Host code.isp-insoft.de
	User git
	IdentityFile ~/.ssh/code.isp-insoft.de

Host aur aur.archlinux.org
	Hostname aur.archlinux.org
	User aur
	IdentityFile ~/.ssh/aur.key
	IdentitiesOnly yes

Match originalhost klops exec "nc -z -w 1 klops 22 >/dev/null 2>&1"
	HostName klops

Match originalhost klops !exec "nc -z -w 1 klops 22 >/dev/null 2>&1"
	HostName 10.100.0.2
	ProxyJump alpha
	HostKeyAlias klops

Host klops
	User oli
	IdentityFile ~/.ssh/klops.key

Host alpha
	HostName alpha.bugabinga.net
	Port 49200
	User root
	IdentityFile ~/.ssh/bugabinga.net.key

Host ci ci.bugabinga.net
	HostName ci.bugabinga.net
	Port 2223
	User root
	IdentityFile ~/.ssh/klops.key

Host vcs vcs.bugabinga.net
	HostName vcs.bugabinga.net
	User git
	Port 22
	IdentityFile ~/.ssh/bugabinga.net.key

# catch-all pattern
Host *
	Compression yes
	IdentitiesOnly yes
	AddKeysToAgent yes