[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: auto-update of Info dir file?
From: |
Miles Bader |
Subject: |
Re: auto-update of Info dir file? |
Date: |
Tue, 16 May 2006 13:17:17 +0900 |
Stefan Monnier <address@hidden> writes:
>> I think this will slow down Info startup to an intolerable degree.
>> For example, I have more than 70 such top-level Info files in my Info
>> directory, some of them compressed.
>
> It's probably OK if we only do the check when the mtime of the parent dir is
> more recent than the mtime of the dir file (and only under Unix, of course,
> since this presumes POSIXy semantics).
I don't understand why Drew's suggestion would be slow anyway -- it's a
simple syntactic check, which would only use the _names_ of the info
files in the directory listing. It wouldn't even have to stat the info
files, much less read or decompress them.
-Miles
--
Any man who is a triangle, has thee right, when in Cartesian Space, to
have angles, which when summed, come to know more, nor no less, than
nine score degrees, should he so wish. [TEMPLE OV THEE LEMUR]
- auto-update of Info dir file?, Drew Adams, 2006/05/15
- Re: auto-update of Info dir file?, Andreas Schwab, 2006/05/15
- Re: auto-update of Info dir file?, Eli Zaretskii, 2006/05/15
- Re: auto-update of Info dir file?, Eli Zaretskii, 2006/05/16
- RE: auto-update of Info dir file?, Drew Adams, 2006/05/16
- Re: auto-update of Info dir file?, Eli Zaretskii, 2006/05/16
- RE: auto-update of Info dir file?, Drew Adams, 2006/05/16
- Re: auto-update of Info dir file?, Eli Zaretskii, 2006/05/16
- Re: auto-update of Info dir file?, Richard Stallman, 2006/05/16
- Re: auto-update of Info dir file?, Stefan Monnier, 2006/05/16