diff --git a/.ssh/config b/.ssh/config index f94bbda..de0d8da 100644 --- a/.ssh/config +++ b/.ssh/config @@ -1,19 +1,19 @@ Host * - SetEnv TERM=xterm - AddKeysToAgent yes - ServerAliveInterval 240 + SetEnv TERM=xterm + AddKeysToAgent yes + ServerAliveInterval 240 Host padova - Hostname 10.200.200.1 + Hostname 10.200.200.1 Host milano Hostname 10.200.200.2 Host tivoli - Hostname 10.200.200.3 + Hostname 10.200.200.3 Host genova - Hostname 10.200.200.4 + Hostname 10.200.200.4 Host napoli Hostname 10.200.200.255