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