#!/bin/sh # shuffle stdin lines. shuf