Occasionalmente eseguo una riga di comando bash come questa:
n=0; while [[ $n -lt 10 ]]; do some_command; n=$((n+1)); done
Per eseguire some_commandun numero di volte consecutive - 10 volte in questo caso.
Spesso some_commandè davvero una catena di comandi o una pipeline.
C'è un modo più conciso per farlo?
zshè repeat 10 do some_command; done.
sh: 1: [[: not found.
let ++ninvece din=$((n+1))(3 caratteri in meno).