Host * !mars !mother !helios User root Host mars User jozan Host mother User jozan Host helios User joe Host hi-pi User root Host joe HostName 10.10.10.2 Port 10022 Host al alcatraz HostName 10.20.20.6 Port 10022 Host git HostName gitjoe.xyz Port 22