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_command
un 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 ++n
invece din=$((n+1))
(3 caratteri in meno).