# HG changeset patch
# User HackBot
# Date 1521160570 0
# Node ID 7733f74b995ec03a415c5019d06865a4e4e7dc5a
# Parent  f459e4461a7df90cdecf730d5506bfee1efde32d
<shachaf> mkx bin/5?//cmds=($1); for i in {1..5}; do \\` "${cmds[$((RANDOM % ${#cmds[@]}))]}"; done

diff -r f459e4461a7d -r 7733f74b995e bin/5?
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/5?	Fri Mar 16 00:36:10 2018 +0000
@@ -0,0 +1,1 @@
+cmds=($1); for i in {1..5}; do \` "${cmds[$((RANDOM % ${#cmds[@]}))]}"; done