A BASH script to shuffle the lines of a text file.