Ich führe gelegentlich eine Bash-Befehlszeile wie diese aus:
n=0; while [[ $n -lt 10 ]]; do some_command; n=$((n+1)); done
Zum Laufen some_command
mehrere Male hintereinander - in diesem Fall 10 Mal.
Häufig some_command
ist eigentlich eine Kette von Befehlen oder eine Pipeline.
Gibt es eine präzisere Methode, dies zu tun?