[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master daea9b3 1/2: Read mailcaps again only when necessary
From: |
Stefan Monnier |
Subject: |
Re: master daea9b3 1/2: Read mailcaps again only when necessary |
Date: |
Mon, 01 Nov 2021 14:35:00 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> Once again, the key for recording the time stamp is the file name you
> pass, so that key must be unique, and that means file-truename.
I'm not sure `file-truename` is indispensable or even desirable.
E.g.:
- read file ~/fileA which is a symlink to /foo/A,
with `file-truename` when `file-changed-p` is called it records that
/foo/A has timestamp T1.
- read ~/fileB which is a normal file. When `file-changed-p` is called it
records that ~/fileB has timestamp T2.
- user changes ~/fileB into a symlink to /foo/A
- we go and check whether ~/fileB has changed: when `file-changed-p` is
called it passes it to `file-truename` before it looks up the
hash-table; it then sees that it's still T1 and will say "everything
good, ~/fileB hasn't changed".
-- Stefan
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Stefan Monnier, 2021/11/01
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Lars Ingebrigtsen, 2021/11/01
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Eli Zaretskii, 2021/11/01
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Lars Ingebrigtsen, 2021/11/01
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Eli Zaretskii, 2021/11/01
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Lars Ingebrigtsen, 2021/11/01
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Eli Zaretskii, 2021/11/01
- Re: master daea9b3 1/2: Read mailcaps again only when necessary,
Stefan Monnier <=
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Eli Zaretskii, 2021/11/01
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Stefan Monnier, 2021/11/01
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Eli Zaretskii, 2021/11/02
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Stefan Monnier, 2021/11/02
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Stefan Monnier, 2021/11/01
- Re: master daea9b3 1/2: Read mailcaps again only when necessary, Eli Zaretskii, 2021/11/01
Re: master daea9b3 1/2: Read mailcaps again only when necessary, Stefan Monnier, 2021/11/01