#!/bin/rc rfork e awk 'BEGIN{srand};{printf "%d %s\n", 2147483648 * rand(), $0}' | sort -n | sed 's/[0-9]+ //'