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_commandplusieurs fois de suite - 10 fois dans ce cas.
Il some_commands'agit souvent d' une chaîne de commandes ou d'un pipeline.
Existe-t-il une manière plus concise de procéder?
zshoui repeat 10 do some_command; done.
sh: 1: [[: not found.
let ++nplace den=$((n+1))(3 caractères de moins).