1. Modify the file `~/.ssh/config`. For the first time, change `User xuelab` to your real user name, such as `User zhangyk`.

vi ~/.ssh/config

Host marine
        User xuelab
        Hostname 101.6.120.23
        Port 184
Host imarine
        User xuelab
        Hostname 192.168.0.14
        Port 22

Host olive
        User xuelab
        Hostname 101.6.120.23
        Port 186
Host iolive
        User xuelab
        Hostname 192.168.0.16
        Port 22

Host rainbow
        User xuelab
        Hostname 101.6.120.23
        Port 180
Host irainbow
        User xuelab
        Hostname 192.168.0.10
        Port 22

Host red
        User xuelab
        Hostname 101.6.120.23
        Port 181
Host ired
        User xuelab
        Hostname 192.168.0.11
        Port 22

Host blue
        User xuelab
        Hostname 101.6.120.23
        Port 182
Host iblue
        User xuelab
        Hostname 192.168.0.12
        Port 22

Host green
        User xuelab
        Hostname 101.6.120.23
        Port 183
Host igreen
        User xuelab
        Hostname 192.168.0.13
        Port 22

Host gold
        User xuelab
        Hostname 101.6.121.48
        Port 22

Host white
        User xuelab
        Hostname 101.6.122.12
        Port 22

Host black
        User xuelab
        Hostname 101.6.121.111
        Port 22

Host indigo
        User xuelab
        Hostname 101.6.121.208
        Port 22

Host orange
        User xuelab
        Hostname 101.6.121.89
        Port 22

Host violet
        User xuelab
        Hostname 101.6.121.38
        Port 22

Host yellow
        User xuelab
        Hostname 166.111.157.15
        Port 22

Host purple
        User xuelab
        Hostname 166.111.157.57
        Port 22

Host azure
        User nmrsu
        Hostname 101.6.120.23
        Port 188
Host iazure
        User nmrsu
        Hostname 192.168.0.18
        Port 22

Host *
        ServerAliveInterval 300
        ServerAliveCountMax 3

2. Sync the file across all servers.

You can copy the contents below, paste it to a file `sync_ssh.sh` in directory `.ssh` and run it by typing “bash sync_ssh.sh”.

for server in rainbow olive red blue green marine gold white black indigo orange violet yellow purple;
#for server in violet;
do
        echo $server
        #rsync -avz ~/.ssh/* $server:~/.ssh
        rsync -avz ~/.ssh/config $server:~/.ssh
done