Host koptein.de
    HostName koptein.de
    User koptein
    Port 22

Host home
    HostName 192.168.15.5
    User koptein
    Port 222

Host web
    HostName 192.168.15.12
    User root
Host horst
    HostName 192.168.15.20
    User root

Host git.home.lan
    Hostname 192.168.15.14
    Port 222
    User git
Host docker
    Hostname 192.168.15.14
    Port 22
    User koptein
Host minecraft
    Hostname 192.168.15.23
    Port 22
    User koptein
Host storinator
    Hostname 192.168.15.18
    Port 22
    User root
Host jens
    Hostname 192.168.15.21
    Port 22
    User root