Gentlepeople, Is there anyway to make wget to url decode output filenames? At the moment if you (say) wget http://someserver/some file it will request the file as http://someserver/some%20file (urlencoding the space). This is fine but it then writes the file as some%20file instead of 'some file'.
This is a problem for all platforms I have used. In windows (NT/2000) I used the for command to replace the %20 with space when I failed find a wget option to do what I wanted. Being relatively new to linux (in this case debian woody stable) I have no idea how to do this in one hit and am laboriously editing individual filenames. I sincerely hope I have simply not understood the wget options properly and there is indeed a way to make wget write the file name correctly. Failing this, is there some shell command or filter that can be used with the wget command? As a last resort, is there a shell command I can use to rename the files en masse as I did in windows? Brendan -- SLUG - Sydney Linux User's Group - http://slug.org.au/ More Info: http://lists.slug.org.au/listinfo/slug
