From dc5c07821388065a3f01ef7e5bfb3a13cdc7a866 Mon Sep 17 00:00:00 2001 From: Jephte Clain Date: Tue, 27 Feb 2024 10:21:44 +0400 Subject: [PATCH] renommer quiet_unless en quietc --- bash/src/base.output.sh | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/bash/src/base.output.sh b/bash/src/base.output.sh index 8002d49..af754a9 100644 --- a/bash/src/base.output.sh +++ b/bash/src/base.output.sh @@ -152,9 +152,9 @@ function elogto() { export NULIB_QUIETLOG export NULIB__TMPLOG -function quiet_unless() { -# N'afficher la sortie de la commande $@ que si on est en mode DEBUG ou si se -# termine en erreur +function: quietc "\ +N'afficher la sortie de la commande \$@ que si on est en mode DEBUG ou si elle se termine en erreur" +function quietc() { local r [ -z "$NULIB__TMPLOG" ] && ac_set_tmpfile NULIB__TMPLOG "$@" >&"$NULIB__TMPLOG"; r=$? @@ -162,9 +162,13 @@ function quiet_unless() { [ $r -ne 0 -o -n "$NULIB_DEBUG" ] && cat "$NULIB__TMPLOG" return $r } -function quiet_logto() { -# Si quiet_unless 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 + +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" +function quietc_logto() { local append if [ "$1" == -a ]; then shift