Host *
  SetEnv TERM=xterm-256color

Host webserver
	HostName h2995861.stratoserver.net
  User michel
  IdentityFile ~/.ssh/webserver.key

Host rpi5
  HostName 192.168.178.33
  User michel
  IdentityFile ~/.ssh/webserver.key

Host git.iedsoftworks.com
  HostName git.iedsoftworks.com
  User git
  Port 2222
  IdentityFile ~/.ssh/git.iedsoftworks.com.key

Host home
  HostName home
  User michel
  IdentityFile ~/.ssh/home.key

Host git.php.fail
  HostName git.php.fail
  Port 2222
  IdentityFile ~/.ssh/git_php_fail.key
  User git

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

Host gameserver
  HostName 85.215.131.106
  IdentityFile ~/.ssh/pandorasboxserver.key
  User fedde

Host stash.miovent.de
  HostName stash.miovent.de
  Port 7999
  User git
  IdentityFile ~/.ssh/work-bitbucket.key

Host vagrant
  HostName localhost
  Port 2222
  User vagrant
  IdentityFile ~/.ssh/vagrant

Host essential
  HostName essential
  User michel
  IdentityFile ~/.ssh/essential_home.key