[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-wget] bad filename
From: |
Tim Rühsen |
Subject: |
Re: [Bug-wget] bad filename |
Date: |
Thu, 24 Apr 2014 22:37:53 +0200 |
User-agent: |
KMail/4.11.5 (Linux/3.13-1-amd64; KDE/4.11.5; x86_64; ; ) |
Am Donnerstag, 24. April 2014, 20:00:18 schrieb Andries E. Brouwer:
> On Thu, Apr 24, 2014 at 03:43:40PM +0200, Tim Ruehsen wrote:
> > 1. How do you know, what filesystem you are writing to ?
> > I just think of these fat32 USB sticks flying around everywhere.
> > UTF-8 might be a problem (see
> > http://en.wikipedia.org/wiki/Comparison_of_file_systems).
> > I just mention fat32, because it is pretty common.
>
> Wget already knows about such restrictions.
> These "high control bytes" have no special status in FAT32,
> so not escaping them does not introduce any problems there.
>
> > 2. Backward compatibility.
>
> In this particular case I see no reason to expect any problems.
Well, I submitted my concerns as 'advocat of affected users' - and I am done
:-)
Personally, I would like to see your proposed change as fast as possible.
[OT]
> My answer would be that case converting UTF-8 is something to avoid.
> For ASCII, case conversion is simple and well-defined.
The guess the problem is already solved. We have international domain names
which must be converted to lowercase before encoded to 'punycode'.
And how should one case insensitive compare two unicode strings, if there is
not solution ? If the turkish person can do it, a computer should be able to
do it.
At least the greek Σ lowercase conversion is well defined.
Also the german 'ß' uppercase is 'ẞ' since 2008.
Maybe a few corner cases are still under construction.
Tim
signature.asc
Description: This is a digitally signed message part.
- [Bug-wget] bad filename, Andries E. Brouwer, 2014/04/22
- Re: [Bug-wget] bad filename, Darshit Shah, 2014/04/23
- Re: [Bug-wget] bad filename, Andries E. Brouwer, 2014/04/23
- Re: [Bug-wget] bad filename, Tim Ruehsen, 2014/04/23
- Re: [Bug-wget] bad filename, Andries E. Brouwer, 2014/04/23
- Re: [Bug-wget] bad filename, Tim Ruehsen, 2014/04/24
- Re: [Bug-wget] bad filename, Andries E. Brouwer, 2014/04/25
- Re: [Bug-wget] bad filename, Tim Ruehsen, 2014/04/24
- Re: [Bug-wget] bad filename, Andries E. Brouwer, 2014/04/24
- Re: [Bug-wget] bad filename,
Tim Rühsen <=