From b992445601d4bd3520c8dc16f8e352b157fec555 Mon Sep 17 00:00:00 2001
From: tv <tv@also>
Date: Sun, 31 Jul 2011 01:17:28 +0200
Subject: randline: initial commit

---
 util/bin/randline | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 util/bin/randline

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"
-- 
cgit v1.2.3