[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Trouble with capitalisation and wget 1.9.1 ?
From: |
Stepan Kasal |
Subject: |
Re: Trouble with capitalisation and wget 1.9.1 ? |
Date: |
Thu, 28 Oct 2004 12:09:53 +0200 |
User-agent: |
Mutt/1.4.1i |
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