Bash alle Zeilen einer Datei zufällig mischen
# Basic syntax:
cat your_file | shuf
# Note, you can specify multiple files after cal to randomly shuffle
# the rows of multiple files into one output
Charles-Alexandre Roy