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