qcm

git clone git://bebou.netlib.re/qcm
Log | Files | Refs | README |

commit 48a91653d674d4146b5330710269604253872355
parent 402c4cd156189fbd22d21ddd5a57c5f39b2c0ca0
Auteurice: Arthur Pons <arthur.pons@unistra.fr>
Date:   Fri, 15 Nov 2024 17:28:17 +0100

Demander un nouvel identifiant s'il est déjà pris

Que si on est sur un terminal bien sûr et malheureusement

Diffstat:
M
qcm.sh
 | 
9
++++++---

1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/qcm.sh b/qcm.sh
@@ -147,9 +147,12 @@ if [ -n "$i" ];then
 	existingids=$(ps -A -l -f | grep "[ /]qcm " |
 	              grep -o -- '-i [^ ]\+' |
 				  cut -d' ' -f2 | sort | uniq -c)
-	echo "$existingids" | grep -q " \+[3-9] \+$i" \
-		&& { echo "id existe déjà"; exit 1; } \
-		|| id="$i"
+	while echo "$existingids" | grep -q " \+[3-9] \+$i";do
+		if [ ! -t 0 ];then echo "id existe déjà"; exit 1;
+		else               read -p "id existe déjà, nouvel id : " i < /dev/tty
+		fi
+	done
+	id="$i"
 else
 	id=$(echo "$tmpd" | cut -d '/' -f5 | cut -d'.' -f2)
 fi