On Saturday, July 2, 2005 at 12:38:24 PM +0200, Hrvoje Niksic wrote:
print numbers according to the locale.
Much thanks, Hrvoje!
[full size] doesn't use the separators
Copy/pastability won over readability: Fine. You exposed the
problem, heard other's arguments, and took a
Hello Tony,
On Friday, June 24, 2005 at 11:57:22 AM -0700, Tony Lewis wrote:
Hrvoje Niksic wrote:
application that accepts numbers as Wget prints them.
Microsoft Calculator does.
Not here. This seems to be locale dependant, requiring exact
localized input. Here MS Calculator accepts
Alain Bench [EMAIL PROTECTED] writes:
Not here. This seems to be locale dependant, requiring exact
localized input. Here MS Calculator accepts pasted 123 456 789,01
as correct 123456789.01, but when pasted wget's English
123,456,789.01 it fails, interpreting this as 123.456789 and
beeping.
On Friday, June 24, 2005 at 6:45:44 PM +0200, Hrvoje Niksic wrote:
input for other applications, which is very hard with the thousand
separators.
Pasting is very hard, parsing is not. An app running wget can easely
parse it's output, whatever it is. If not directly then thru a wrapper.
Alain Bench [EMAIL PROTECTED] writes:
Removing separators will break existing apps parsing wget's output.
Such apps exist?
They do exist, but *any* change in Wget's output will break them.
Since they probably do the equivalent of sed s/,//g anyway, the
removal of separators is likely to be the
On Thursday, June 23, 2005 at 3:16:28 PM +0200, Hrvoje Niksic wrote:
Since Wget 1.10 also prints sizes in kilobytes/megabytes/etc., I am
thinking of removing the thousand separators from size display.
IMHO thousand (or myriad) separators are necessary.
This size display is primarily
Alain Bench [EMAIL PROTECTED] writes:
On Thursday, June 23, 2005 at 3:16:28 PM +0200, Hrvoje Niksic wrote:
Since Wget 1.10 also prints sizes in kilobytes/megabytes/etc., I am
thinking of removing the thousand separators from size display.
IMHO thousand (or myriad) separators are
Hrvoje,
What do you think?
To add a new (oh!) option in .wgetrc and call it decimal_separator
Those guys who find numbers like 11782023180 easy
to read and can tell for a fraction of a second that it was
11Gb downloaded, not 1.1Gb, will use
decimal_separator =
I personally would
Hrvoje Niksic wrote:
In fact, I know of no application that accepts numbers as Wget prints
them.
Microsoft Calculator does.
Tony
Leonid [EMAIL PROTECTED] writes:
Those guys who find numbers like 11782023180 easy to read and can
tell for a fraction of a second that it was 11Gb
I'm not such person; Wget would in fact print:
Length: 11782023180 (11.0G)
Tony Lewis [EMAIL PROTECTED] writes:
Hrvoje Niksic wrote:
In fact, I know of no application that accepts numbers as Wget prints
them.
Microsoft Calculator does.
Sorry, I forgot to qualify that as (Unix) command-line application
or something to that effect. I know that many GUI
In Hindi (India - applies to probably other Indian languages too), it is
every 2 digits AFTER thousand:
E.g., 10,00,000 (Hindi) rather than 1,000,000.
This is because of way numbers are spelled in language. There is a
unique word for thousand. Then new words occur for numbers every
multiple
12 matches
Mail list logo
