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

Include ~/.ssh/config.d/*

Host git.mike-ochmann.de box mikoc 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 mikoc
	User miko
	HostName bus.uberspace.de
	ServerAliveInterval 30
	ServerAliveCountMax 3

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