###############################################################################
#                                                                             #
#   ● ○ ○ ○ ●                                                                 #
#   ● ● ○ ● ●   Mike Ochmann                                                  #
#   ● ○ ● ○ ●   https://mike-ochmann.de                                       #
#   ● ○ ○ ○ ●                                                                 #
#   ● ○ ○ ○ ●                                                                 #
#                                                                             #
#   My personal ssh config                                                    #
#   Version 1,0.0                                                             #
#                                                                             #
###############################################################################

Include ~/.ssh/config.d/*

Host git.mike-ochmann.de box mikob miko
	IdentityFile ~/.ssh/mikohosting_rsa

Host git.mike-ochmann.de
	User git
	HostName git.mike-ochmann.de

Host box
	User miko
	HostName box.mike-ochmann.de

Host mikob
	User miko
	HostName bus.uberspace.de
	ServerAliveInterval 30
	ServerAliveCountMax 3

Host jacko
	User pbikes
	HostName gacrux.uberspace.de
	IdentityFile ~/.ssh/massivedynamic_rsa
	ServerAliveInterval 30
	ServerAliveCountMax 3

Host miko
	User mikob
	HostName giacobini.uberspace.de
	ServerAliveInterval 30
	ServerAliveCountMax 3

Host gitlab.com
	User git
	HostName gitlab.com
	IdentityFile ~/.ssh/massivedynamic_rsa

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

Host gitlab.fsi.hochschule-trier.de
	User git
	HostName gitlab.fsi.hochschule-trier.de
	IdentityFile ~/.ssh/uni_rsa