From 63b78dbf75e7b35f0b360e4c3b29290f5639a943 Mon Sep 17 00:00:00 2001
From: Thorben Rudeloff <thorben.rudeloff@mni.thm.de>
Date: Mon, 6 Mar 2017 14:41:02 +0100
Subject: [PATCH] fixed problem with same host names

---
 ssh-manager.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)
 mode change 100644 => 100755 ssh-manager.sh

diff --git a/ssh-manager.sh b/ssh-manager.sh
old mode 100644
new mode 100755
index 83c1c34..076f060
--- a/ssh-manager.sh
+++ b/ssh-manager.sh
@@ -6,7 +6,7 @@
 
 #================== Globals ==================================================
 # Version
-VERSION="0.1"
+VERSION="0.2"
 
 # Configuration
 HOST_FILE="$HOME/.ssh/config"
@@ -66,7 +66,7 @@ function get_name (){
 }
 
 function get_addr (){
-	grep -A 1 "$1" $HOST_FILE|grep -i HostName|cut -d" " -f4
+	grep -A1 "$1" $HOST_FILE|grep -im1 HostName|cut -d" " -f4
 }
 
 function main (){
@@ -79,7 +79,6 @@ function main (){
     printf "%15s\t(%2s)\t%s\n" $a $i $addr
     i=$((i+1))
   done
-
   while true; do
     read -p "Connect with:" num
     ssh -i $HOST_FILE ${arr[$num]}