Thanks a lot for this HOWTO.

Also to make the script a lot shorter but still have a random list of videos you can use the playlist function of MPlayer :

The script :

#! /bin/bash

## setup...