From 99c00e5645fb4a72b1b4f23423ca2a02149dd5fb Mon Sep 17 00:00:00 2001 From: Siphonight Date: Wed, 3 Jul 2024 02:23:46 +0200 Subject: [PATCH] Ajustement menu serveurs MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Petit ajustement dans le menu de sélection des serveurs permettant d'utiliser le nombre inscrit afin de quitter le bastion. L'option pour quitter le bastion est de ce fait utilisable au travers de 2 inputs différents. --- server_menu.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/server_menu.sh b/server_menu.sh index c4de9ac..3dc1af5 100644 --- a/server_menu.sh +++ b/server_menu.sh @@ -26,11 +26,11 @@ function main_menu () { counter=$((counter + 1)) done <<< "$USER_SERVERS" - echo "$counter) Tapez 'quit' pour vous déconnecter." + echo "$counter) Tapez 'quit' ou $counter pour vous déconnecter." read -r -p "Votre choix (1-$counter): " choice - if [ "$choice" == "quit" ]; then + if [ "$choice" == "quit" ] || [ "$choice" == "$counter" ]; then echo "Déconnexion du bastion." exit 0 elif [ -z "$choice" ] || [ -z "${server_map[$choice]}" ]; then