Host *.freeshell.org fedorapeople.org *.gnu.org *.infradead.org *.glug-nith.org
        ControlMaster auto
        ControlPath ~/.ssh/master-%r@%h:%p
        User rishi

Host stallman.org
        ControlMaster auto
        ControlPath ~/.ssh/master-%r@%h:%p
        User rms

Host clubber.bddebian.com clubber
        HostName clubber.bddebian.com
        Port 2251

Host flubber.bddebian.com flubber
        HostName flubber.bddebian.com
        Port 2250

Host gnubber.bddebian.com gnubber
        HostName gnubber.bddebian.com
        Port 2254

Host *.bddebian.com clubber flubber gnubber
        CheckHostIP no
        UserKnownHostsFile /dev/null
        StrictHostKeyChecking no
        User rishi

Host *.interrasystems.com
        ControlMaster auto
        ControlPath ~/.ssh/master-%r@%h:%p
        User debray

Host k2 libra nubra raison rimbi solang
        User debray

# PasswordAuthentication no
# ProxyCommand corkscrew 172.16.16.2 3128 %h %p ~/.ssh/auth