From 12344f7b14a19df8565b099b67a91ad7a6c4070a Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Wed, 6 Mar 2024 08:55:06 +0400
Subject: [PATCH] bug

---
 bash/src/base.args.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bash/src/base.args.sh b/bash/src/base.args.sh
index 868e084..ab40269 100644
--- a/bash/src/base.args.sh
+++ b/bash/src/base.args.sh
@@ -168,6 +168,7 @@ function __parse_args() {
         esac
         # est-ce que l'option prend un argument?
         local __def __witharg __valdesc
+        __witharg=
         for __def in "${__defs[@]}"; do
             if [ "${__def%::*}" != "$__def" ]; then
                 [ "$__witharg" != : ] && __witharg=::