[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd)
From: |
Vincent Lefevre |
Subject: |
Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd) |
Date: |
Fri, 2 Aug 2002 10:24:03 +0200 |
User-agent: |
Mutt/1.5.1-current-20020801i |
On Thu, Aug 01, 2002 at 22:06:59 -0700, Paul Eggert wrote:
> But I'll omit the ".0"; if there are no fractional digits -- there's
> no need to print a tenths digit.
I agree. But even if the file system supports subsecond precision,
I prefer to have no fractional digits (they are not really useful
and are never (or almost never) used in other contexts).
--
Vincent Lefèvre <address@hidden> - Web: <http://www.vinc17.org/> - 100%
validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International
des Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA
- Bug#155150: diff -u displays unnecessary zeros after the seconds (fwd), Santiago Vila, 2002/08/01
- Re: Bug#155150: diff -u displays unnecessary zeros after the seconds (fwd), Vincent Lefevre, 2002/08/01
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Santiago Vila, 2002/08/01
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Vincent Lefevre, 2002/08/01
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Paul Eggert, 2002/08/01
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Miles Bader, 2002/08/01
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Paul Eggert, 2002/08/02
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd),
Vincent Lefevre <=
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Paul Eggert, 2002/08/02
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Vincent Lefevre, 2002/08/02
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Paul Eggert, 2002/08/02
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Vincent Lefevre, 2002/08/02