J'exécute parfois une ligne de commande bash comme celle-ci:
n=0; while [[ $n -lt 10 ]]; do some_command; n=$((n+1)); done
Pour exécuter some_command
plusieurs fois de suite - 10 fois dans ce cas.
Il some_command
s'agit souvent d' une chaîne de commandes ou d'un pipeline.
Existe-t-il une manière plus concise de procéder?
zsh
oui repeat 10 do some_command; done
.
sh: 1: [[: not found
.
let ++n
place den=$((n+1))
(3 caractères de moins).