From b8f3614d0a64f98e77a18185ffa7239365850d9e Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Tue, 27 Feb 2024 12:04:07 +0400
Subject: [PATCH] ajouter quietc_echo

---
 bash/src/base.output.sh | 19 +++++++++++++++++--
 1 file changed, 17 insertions(+), 2 deletions(-)

diff --git a/bash/src/base.output.sh b/bash/src/base.output.sh
index af754a9..c25d260 100644
--- a/bash/src/base.output.sh
+++ b/bash/src/base.output.sh
@@ -167,18 +167,33 @@ function: quietc_logto "\
 Si quietc est utilisé, sauvegarder quand même la sortie dans le fichier \$1
 
 Utiliser l'option -a pour ajouter au fichier au lieu de l'écraser e.g
-    quietc_logto -a path/to/logfile"
+    quietc_logto -a path/to/logfile
+
+Tous les autres arguments sont du contenu ajoutés au fichier, e.g
+    quietc_logto -a path/to/logfile \"\\
+================================================================================
+= \$(date +%F-%T)\""
 function quietc_logto() {
     local append
     if [ "$1" == -a ]; then
         shift
         append=1
     fi
-    NULIB_QUIETLOG="$1"
+    NULIB_QUIETLOG="$1"; shift
     [ -n "$NULIB_QUIETLOG" ] || return
     if [ -z "$append" ]; then
         >"$NULIB_QUIETLOG"
     fi
+    if [ $# -gt 0 ]; then
+        echo "$*" >>"$NULIB_QUIETLOG"
+    fi
+}
+
+function: quietc_echo "Ajouter \$* dans le fichier mentionné par quietc_logto() le cas échéant"
+function quietc_echo() {
+    if [ -n "$NULIB_QUIETLOG" ]; then
+        echo "$*" >>"$NULIB_QUIETLOG"
+    fi
 }
 
 # variables utilisées pour l'affichage indenté des messages et des titres