Re: Trouble with capitalisation and wget 1.9.1 ?

[Stepan Kasal]

Hello,

On Thu, Oct 28, 2004 at 03:11:54AM +0200, Loul wrote:
> wget -r -l1 -A.AVI -H -Dwearepes.com  
> wget -r -l1 -A.avi -H -Dwearepes.com 

wget homepage is http://wget.sunsite.dk .
The most apropriate list for this is probably ``wget''.
The homepage has instructions how to subscribe.

> The only difference is that I typed the extension using lower case letters!
> And didn't found any explanation in the documentation I read.
> 
> So bug or feature ? 

Definitely feature.  GNU systems, eg. GNU/Linux have their roots in Unix.
And Unix always was case sensitive.
URL's used in World-wide web are also case sensitive.

Please note that
        http://wget.sunsite.dk/wget.html
is the homepage while
        http://wget.sunsite.dk/wget.HTML
doesn't exist.

http://www.where.edu/as.avi and http://www.where.edu/as.AVI may be
totally different files.

And the -A (--accept) option of wget is working with the names in the
webspace, not with the names of saved files.

I hope that explains it.  Perhaps

        -A avi,AVI

is the best variant for you.
But if you want to catch also *.aVi, you need

        -A *.[Aa][Vv][Ii]

> Thanks for your help :)

You are welcome,
        Stepan Kasal