diff options
Diffstat (limited to 'repeat')
-rwxr-xr-x | repeat | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -0,0 +1,12 @@ +#!/bin/bash + +set -eu -o pipefail + +n="$1" +shift + +i=0 +while [ "$i" -lt "$n" ] && "$@" +do + i=$(( "$i" + 1 )) +done |