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. Le istruzioni per l'installazione del programma si trovano su MplayerInstallHowTo. In questo modo è possibile ottenere file .wav, che possono essere convertiti in altri formati con programmi appositi, per esempio in MP3 con LAME.
Comandi
Per salvare il file
xxx
Risultato
xxx