dot/.ssh/config

Host *
    SetEnv TERM=xterm
    AddKeysToAgent yes
    ServerAliveInterval 240

Host padova
    Hostname 10.200.200.1

Host milano
    Hostname 10.200.200.2

Host tivoli
    Hostname 10.200.200.3

Host genova
    Hostname 10.200.200.4

Host napoli
    Hostname 10.200.200.255