Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd)

[Vincent Lefevre]

On Fri, Aug 02, 2002 at 07:21:34 -0700, Paul Eggert wrote:
> > 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).
> 
> GNU 'ls' and GNU 'make' use them to determine whether files are out of
> date.  They are certainly useful for GNU 'make' on fast hosts.

Yes, but for 'diff', they are useless. In fact, 'diff' should use
them if some features based on time stamp are implemented (e.g.
fast 'diff -r'), but when displaying results, they are useless,
except for particular cases, in which case an option could enable
them.

-- 
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