diff options
| -rwxr-xr-x | util/bin/randline | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/util/bin/randline b/util/bin/randline index cd9476e7..051734c5 100755 --- a/util/bin/randline +++ b/util/bin/randline @@ -1,12 +1,3 @@ #! /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" +cat | shuf | head -n 1 |