I occasionally run a bash command line like this:
n=0; while [[ $n -lt 10 ]]; do some_command; n=$((n+1)); done
To run some_command>
some_command>
Another form of your example:
n=0; while (( n++ < 10 )); do some_command; done