Add stdin repeaters

lrep() and prep() repeat every line, or whole stream, on stdin
$1 times.

dotfiles/bash/main.bashrc

     read -r junk -p "Press Enter to continue"
 }
 
+lrep() {
+    #
+    # Print each line on STDIN $1 times
+    #
+    local rep=${1:-1}; shift
+    local line
+    local n
+    while read -r line; do
+        n=$rep
+        while test "$n" -gt 0;
+        do
+            echo "$line"
+            ((n--))
+        done
+    done
+}
+
+prep() {
+    #
+    # Print STDIN $1 times
+    #
+    local rep=${1:-1}; shift
+    local data
+    data=$(cat)
+    n=$rep
+    while test "$n" -gt 0;
+    do
+        echo "$data"
+        echo
+        ((n--))
+    done
+}
+
 dt() {
     #
     # Open $1 new terminals