diff options
| -rwxr-xr-x | util/bin/randline | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/util/bin/randline b/util/bin/randline index cd9476e7..75618664 100755 --- a/util/bin/randline +++ b/util/bin/randline @@ -1,12 +1,5 @@ #! /bin/sh -# -# choose a line randomly. -# -set -euf +# Author: tv,makefu +# Info: for old version see commit b9924 -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 |