From: Steve C. <ste...@li...> - 2004-09-11 19:26:37
|
> /home/silvan/rosegarden/RG-AUDIO-0000.wav > ... > /home/silvan/rosegarden/RG-AUDIO-0147.wav > > I sure wish there was a grep for audio. :) Try this from the dir where you keep your rg files: root@crashy:/home/splazo/midi# cat *.rg |gunzip |grep RG-AUDIO <audio id="0" file="RG-AUDIO-0011.wav" label="RG-AUDIO-0011.wav"/> <audio id="0" file="RG-AUDIO-0003.wav" label="RG-AUDIO-0003.wav"/> <audio id="1" file="RG-AUDIO-0004.wav" label="RG-AUDIO-0004.wav"/> <audio id="2" file="RG-AUDIO-0005.wav" label="RG-AUDIO-0005.wav"/> <audio id="3" file="RG-AUDIO-0006.wav" label="RG-AUDIO-0006.wav"/> <audio id="4" file="RG-AUDIO-0007.wav" label="RG-AUDIO-0007.wav"/> <audio id="0" file="RG-AUDIO-0009.wav" label="RG-AUDIO-0009.wav"/> <audio id="1" file="RG-AUDIO-0010.wav" label="RG-AUDIO-0010.wav"/> <audio id="0" file="RG-AUDIO-0019.wav" label="RG-AUDIO-0019.wav"/> |