Host wheatley
HostName 10.0.0.1
User lillian
Port 22

Host GLaDOS
HostName 10.0.0.2
User lillian
Port 22

Host EDI
HostName 10.0.0.3
User lillian
Port 22

Host shodan
HostName 10.0.0.4
User lillian
Port 22

Host queen
HostName gladtherescake.eu
User lillian
Port 22