diff --git a/.ssh/config b/.ssh/config new file mode 100644 index 0000000..f94bbda --- /dev/null +++ b/.ssh/config @@ -0,0 +1,19 @@ +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