Ok, scusate lo sfogo

In pratica quello script ASX è usato originariamente per infilare uno dietro l'altro una serie di flussi in streaming, come per generare una specie di playlist in streaming. In realtà molti siti lo usano come semplice protezione per evitare lo scaricamento dei video, e questo, credo, è il caso della rai.
Mplayer però ha in sé l'opzione per gestire streaming in playlist di questo tipo e la soluzione trovata da giulio1 in
questa discussione, fa proprio al caso nostro! (b2b)
Lo script completo da passare alla console è questo:
Codice: Seleziona tutto
mplayer -playlist indirizzo_streaming -dumpstream -dumpfile nome_file.estensione
dove l'indirizzo_streaming è nel mio caso
questo.
A quel punto mplayer è in grado di interpretare correttamente la playlist dello streaming, non si fa fregare dal fatto di non trovarsi di fronte ad un semplice flusso straming... e il gioco è fatto!
Grazie a chiunque è intervenuto!