Add rndi(1)

1 files changed, 9 insertions, 0 deletions

diff --git a/bin/rndi b/bin/rndi
new file mode 100755
index 00000000..3b0ea005
--- /dev/null
+++ b/bin/rndi
@@ -0,0 +1,9 @@
+#!/usr/bin/awk -f
+# Get a low-quality random number between two integers. Note that depending on
+# implementation, this might return the same number if run in the same second.
+# It's only for trivial purposes.
+BEGIN {
+    srand()
+    print int(ARGV[1]+rand()*(ARGV[2]-ARGV[1]+1))
+    exit
+}