Re: fetching files with javascript

	Quoth Chime Hart: 'an anoying aspect of an NPR site, if you
manually download an audio segment, you must backspace over alot of
extra symbols after .mp3.'
	I download them automatically with a script that uses cut to
remove everything after the first ? inclusive:

	for file in `grep mp3 $Show-$date.html | grep $Show | grep $date | grep audio-tool-download | tr '\"' '\n' | grep mp3 | cut -d? -f1`

	Alternatively one can write a script such as:

	for file in *.mp3
	do
	newname=`echo $file | cut -d? -f1`
	mv -n $file $newname
	done

to run afterwards.

	But that's a separate issue.  I don't recommend NPR but cite
it as a site I think uses popular practices, that this practice may
come to other sites.  gocomics.com started doing it a year ago.  It
would be an option in any case: no one would have to use it - or
listen to any NPR shows.

russell bell