[prev in list] [next in list] [prev in thread] [next in thread] 

List:       wget
Subject:    Re: Filename trouble
From:       Nichlas <nichlas.hummelsberger () gmail ! com>
Date:       2008-01-11 22:37:36
Message-ID: f09674850801111437g2cfd94ddtb7c8059301d477f3 () mail ! gmail ! com
[Download RAW message or body]

On Jan 11, 2008 9:18 PM, Micah Cowan <micah@cowan.name> wrote:
> Matthias Vill wrote:
> > Maybe also
> > ---
> >       -O file
> <snip>
> > ---
> > is of some interest to you as it seems you are batch-fetching and maybe
> > know a good name in advance
>
> I was assuming that this:
>
> >>> I'm currently trying to download about 600 pdf's linked to from
> >>> individual HTML pages on a site.
>
> meant he was obtaining the PDFs from the HTML links.

The PDFs get downloaded alright, just with weird names.

But maybe the real way is just to download them all, then change the
filename with a script afterwards.
[prev in list] [next in list] [prev in thread] [next in thread]