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