Host kopteinvm 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