Bash mélangez au hasard toutes les lignes d'un fichier
# 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