Randomizing Lines

The following bash snippet randomizes lines fed through stdin.

#!/bin/bash
' ' -f2-