From 03aecec5ade590e7bdfc5945b33be0c8d8472ee4 Mon Sep 17 00:00:00 2001 From: urosm Date: Fri, 7 Jun 2024 20:20:20 +0200 Subject: [PATCH] .ssh: update --- .ssh/config | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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