DVB  channel selector for mplayer, reading data from ~/.mplayer/channels.conf