From 9a9d1beb88e94209af7fbb4d6ce921eb8834b531 Mon Sep 17 00:00:00 2001 From: Jacob Kiers Date: Mon, 2 Feb 2015 15:44:56 +0100 Subject: [PATCH] Make sure server exists in ~/.ssh/config Signed-off-by: Jacob Kiers --- bin/setup-server | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/bin/setup-server b/bin/setup-server index dbb395a..bdf71f1 100755 --- a/bin/setup-server +++ b/bin/setup-server @@ -21,13 +21,19 @@ if [ -z "$IP" ]; then IP=$HOST fi -echo Adding server to .ssh/config... -cat >> ~/.ssh/config <&1 > /dev/null +if [ 0 -eq $? ]; then + echo $HOST is already in .ssh/config +else + echo Adding server to .ssh/config... + cat >> ~/.ssh/config <