From 60b0747ba6721f085389ad4fc957f64c31556f69 Mon Sep 17 00:00:00 2001 From: jean-pierre roux Date: Wed, 27 Jul 2011 13:03:49 +0000 Subject: [PATCH] Avoid infinire loop --- Linux/menu.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/Linux/menu.sh b/Linux/menu.sh index 7d765e8..daabce1 100644 --- a/Linux/menu.sh +++ b/Linux/menu.sh @@ -394,12 +394,12 @@ docgeneration="OFF" echo "----------------------------------------------------------------------" echo OK echo "To go on, run again 'bash menu.sh' as '$loginUserName', in a new window" - echo "---------------------------------------------------------------------" + echo "----------------------------------------------------------------------" else echo "----------------------------------------------------------------------" echo OK echo "To go on, run again 'bash menu.sh' in a new window" - echo "---------------------------------------------------------------------" + echo "----------------------------------------------------------------------" fi echo echo "==>" @@ -407,7 +407,6 @@ docgeneration="OFF" echo "==>" source $ETC_BASHRC read a - kill -9 $PPID ;; 1.0) -- 2.47.1