855ab0c71b8c88ec9f56ccf6f9a864b09794419c
4 # Desc: Randomly remove 10% of stdin lines
5 # Depends: Bash 5.1.16; GNU Coreutils 8.32 (shuf, nl, head, sort, cut)
11 # Calc lines to keep, lk
13 lk
="$((lc * 900 / 1000))";
16 printf "%s\n" "${lines[@]}" | \
22 }; # randomly eliminate 10% of lines
24 echo "$WARNING:This is a Bash function definition."