ajout de elinedots
This commit is contained in:
parent
ffa91952c2
commit
7ae9b48245
|
@ -3352,6 +3352,34 @@ function eend() {
|
||||||
__tlevel="${__tlevel% }"
|
__tlevel="${__tlevel% }"
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
function __elinedots() {
|
||||||
|
ebegin "$1"
|
||||||
|
local line
|
||||||
|
if show_debug; then
|
||||||
|
while read line; do
|
||||||
|
__edoto 1>&2
|
||||||
|
__edotd "$line" 1>&2
|
||||||
|
done
|
||||||
|
else
|
||||||
|
while read line; do
|
||||||
|
__edoto 1>&2
|
||||||
|
done
|
||||||
|
fi
|
||||||
|
eend
|
||||||
|
}
|
||||||
|
function elinedots() {
|
||||||
|
# Afficher un message comme avec ebegin "$1", puis afficher un point '.' pour
|
||||||
|
# chaque ligne lue sur stdin. Cela permet de suivre une opération. En mode
|
||||||
|
# DEBUG, afficher la ligne affichée plutôt qu'un point.
|
||||||
|
# Si $2..$* sont spécifiés, lancer la commande et suivre sa sortie. Ainsi,
|
||||||
|
# 'elinedots msg cmd args' est un raccourci pour 'cmd args | elinedots msg'
|
||||||
|
local msg="$1"; shift
|
||||||
|
if [ $# -gt 0 ]; then
|
||||||
|
"$@" | __elinedots "$msg"
|
||||||
|
else
|
||||||
|
__elinedots "$msg"
|
||||||
|
fi
|
||||||
|
}
|
||||||
function ask_yesno() {
|
function ask_yesno() {
|
||||||
# Afficher le message $1 suivi de [oN] ou [On] suivant que $2 vaut O ou N, puis
|
# Afficher le message $1 suivi de [oN] ou [On] suivant que $2 vaut O ou N, puis
|
||||||
# lire la réponse. Retourner 0 si la réponse est vrai, 1 sinon.
|
# lire la réponse. Retourner 0 si la réponse est vrai, 1 sinon.
|
||||||
|
|
Loading…
Reference in New Issue