Convertire i file RealAudio
Note introduttive
RealAudio è un formato audio proprietario sviluppato da [http://www.realnetworks.com/ RealNetworks], molto usato dalle internet radio per la diffusione del loro programmi. Si possono trovare maggiori dettagli [http://en.wikipedia.org/wiki/RealAudio qui] (in inglese).
Normalmente è possibile ascoltare questi file soltanto in streaming, mentre li si scarica da internet, senza poterli salvare sul proprio computer. La soluzione qui proposta permette di salvare i file RealAudio, e di convertirli quindi in altri formati.
Programmi necessari
Per le operazioni di download e conversione dei file è necessario Mplayer.
xxx
Risultato
xxx