Sí, lo conozco desde hace varios años, pero no hace lo que yo quiero:
Yo no quiero obtener el audio desde la entrada de la tarjeta, sino capturar la salida de audio de otro programa (RealPlayer en este caso). O sea, que lea lo que se va escribiendo en el dispositivo de salida.
De todas formas he encontrado a vsound, que hace justamente eso
Se ejecuta teniendo como parámetro el programa y el archivo a reproducir y el archivo de salida (por ejemplo,
`vsound -f salida.wav realplay archivo.rm`).
Si a alguien le interesa, funciona bien :)
Saludos.