Hi list, how can I tell wget that "%20"s in URLs should not be converted to spaces in local file names? For example, if I run this:
wget https://etoysillinois.org/files/Etoys%20tutorial%201.pdf wget -nc https://etoysillinois.org/files/Etoys%20tutorial%201.pdf then wget knows that the output document is "Etoys tutorial 1.pdf", and the "wget -nc" sees that the "Etoys tutorial 1.pdf" is already there and doesn't download it again... I can make the output document be "Etoys%20tutorial%201.pdf" with "-O", like this, wget -O "Etoys%20tutorial%201.pdf" \ https://etoysillinois.org/files/Etoys%20tutorial%201.pdf wget -O "Etoys%20tutorial%201.pdf" \ -nc https://etoysillinois.org/files/Etoys%20tutorial%201.pdf but are there other ways? Thanks in advance! Cheers, Eduardo Ochs http://anggtwu.net/
