Un comentario rápido para aquellos usuarios de linux que de vez en cuando necesiten hacer un script en bash para alguna tarea y necesiten conseguir un número aleatorio (o pseudo-aleatorio) para algo (por ejemplo ordenar un listado de canciones). En Bash hay una función $RANDOM que genera un número aleatorio entre 0 y 32767 cada vez que se le llama. Es decir: