# local network -> local port Match Host tuulikki.scalene.net exec "ping -c 1 192.168.101.1 -W 1 -q" User jswank Port 22 Host tuulikki.scalene.net User jswank Port 22022 # local network -> local port Match Host tonttu.scalene.net exec "ping -c 1 192.168.101.1 -W 1 -q" User jswank Port 22 Host tonttu.scalene.net User jswank Port 22024 Host www.scalene.net User scalene Port 22022 Match Host git.scalene.net exec "ping -c 1 192.168.101.1 -W 1 -q" User jswank Hostname tonttu.scalene.net