Re: [Bug-wget] Wget reports : This version does not have support for IRIs

2017-05-31 Thread Tim Rühsen
On 05/31/2017 12:42 PM, Darshit Shah wrote: > On 31 May 2017 at 10:15, Tim Rühsen wrote: > >> On 05/31/2017 09:48 AM, Cos Chan wrote: >>> On Tue, May 30, 2017 at 4:03 PM, Darshit Shah wrote: >>> This occurs because you are running a version of Wget

Re: [Bug-wget] Wget reports : This version does not have support for IRIs

2017-05-31 Thread Darshit Shah
On 31 May 2017 at 10:15, Tim Rühsen wrote: > On 05/31/2017 09:48 AM, Cos Chan wrote: > > On Tue, May 30, 2017 at 4:03 PM, Darshit Shah wrote: > > > >> This occurs because you are running a version of Wget that was compiled > >> without IRI support. > >> >

Re: [Bug-wget] Wget reports : This version does not have support for IRIs

2017-05-31 Thread Cos Chan
On Tue, May 30, 2017 at 4:03 PM, Darshit Shah wrote: > This occurs because you are running a version of Wget that was compiled > without IRI support. > > See. the output of `wget --version`, it shows "-iri". However you tried to > explicitly set the encodings which requires IRI

[Bug-wget] Wget reports : This version does not have support for IRIs

2017-05-30 Thread Cos Chan
Hello I got mistake while running this command: wget --no-verbose --remote-encoding=UTF-8 --local-encoding=UTF-8 --mirror --directory-prefix=/foo/ --no-parent --no-host-directories --cut-dirs=2 --force-directories --accept=*.pdf --restrict-file-names=nocontrol http://bar/Documents/ the mistake