How can I shuffle the lines of a text file on the Unix command line or in a shell script?

How can I shuffle the lines of a text file on the Unix command line or in a shell script?

shell random command-line awk shuffle

shell

Simple method to shuffle the elements of an array in BASH shell?

bash shell shuffle

shell