Choisir aléatoirement un fichier parmi une liste

Programmation
#1

Salut à tous !

J’ai dans un répertoire les fichiers suivants (entre autres) :
ARMAG.wmv BANDIT.wmv BASEBALL.wmv GRENADE1.wmv Intro.wmv PINGPONG.wmv TV.wmv VIDCAM.wmv

J’aimerai indiquer à mplayer qu’il doit jouer une de ces vidéos. La vidéo doit être choisie aléatoirement parmi ces fichiers sauf Intro.wmv.

C’est une commande qui sera présente dans un script sh, donc je ne souhaite pas utiliser d’autre langage.

Merci d’avance pour vos suggestions !

#2

Je l’ai encore jamais utilisé, mais il y a deux périphériques du système qui se nomment “/dev/random” et “/dev/urandom,” qui semblent bien convenir à ce que tu voudrais faire.
je lis le “man” pour voir.

#3

facile :stuck_out_tongue:

# display random line from the tips.txt file
sort -R tips.txt | head -n 1
#4

Bien joué agentsteel, c’est exactement ce qu’il me faut !
Implémenté, testé et approuvé :023

#5

display random line from the tips.txt file

sort -R tips.txt | head -n 1

Super. Y-a pas photo…