From 872352a9482b8225008b01e1a887bc9175363cba Mon Sep 17 00:00:00 2001
From: Ostantia <113256480+Ostantia@users.noreply.github.com>
Date: Mon, 10 Apr 2023 12:00:51 +0200
Subject: [PATCH] Ajout du support pour des ports distants autres que 22.

---
 server_menu.sh | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/server_menu.sh b/server_menu.sh
index e5289bf..c41d947 100644
--- a/server_menu.sh
+++ b/server_menu.sh
@@ -14,9 +14,10 @@ counter=1
 declare -A server_map
 while read -r line; do
   ip=$(echo "$line" | cut -d ' ' -f 1)
-  custom_name=$(echo "$line" | cut -d ' ' -f 2)
-  server_map[$counter]=$ip
-  echo "$counter) $custom_name - $ip"
+  port=$(echo "$line" | cut -d ' ' -f 2)
+  custom_name=$(echo "$line" | cut -d ' ' -f 3)
+  server_map[$counter]="$ip $port"
+  echo "$counter) $custom_name - $ip:$port"
   counter=$((counter + 1))
 done <<< "$USER_SERVERS"
 
@@ -29,5 +30,4 @@ fi
 
 selected_server="${server_map[$choice]}"
 echo "Connexion à $selected_server..."
-ssh "$selected_server"
-
+ssh -p "$(echo $selected_server | cut -d ' ' -f 2)" "$(echo $selected_server | cut -d ' ' -f 1)"