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"