Can wget decode uri file names when downloading in batch?

Question

Normally when downloading files using wget, the filenames are encoded.

In example:

wget -c --content-disposition "https://class.coursera.org/ml-005/lecture/download.mp4?lecture_id=1"

and the saved filename is:

13%20-%201%20-%20Unsupervised%20Learning%3A%20Introduction%20%283%20min%29.mp413%20-%201%20-%20Unsupervised%20Learning%3A%20Introduction%20%283%20min%29.mp4

Is there any way to decode the files when downloading in batch?

Related:

• Linux urldecode filename

Answer 1

The deurlname utility can handle urlencoded filenames.

Answer 2

You can pipe the file name through

sed -e's/%\([0-9A-F][0-9A-F]\)/\\\\\x\1/g' | xargs echo -e