diff options
| -rwxr-xr-x | util/bin/randline | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/util/bin/randline b/util/bin/randline new file mode 100755 index 00000000..cd9476e7 --- /dev/null +++ b/util/bin/randline @@ -0,0 +1,12 @@ +#! /bin/sh +# +# choose a line randomly. +# +set -euf + +lines="`cat`" +count=`echo "$lines" | wc -l` +random=`od -An -t u8 -N 8 /dev/urandom` +choice=`echo "$random % $count + 1" | bc` + +echo "$lines" | sed -n "${choice}p" |