diff options
| author | makefu <github@syntax-fehler.de> | 2011-07-31 02:16:15 +0200 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2011-07-31 02:18:03 +0200 |
| commit | 68b86f573677fa53743fe75f964650d1f8bbeb58 (patch) | |
| tree | e35956fc4745760d7e5e0ac7d37b16c48f6a207a | |
| parent | b992445601d4bd3520c8dc16f8e352b157fec555 (diff) | |
randline: reimplemented
| -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 |