[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A project-files implementation for Git projects
From: |
Stefan Monnier |
Subject: |
Re: A project-files implementation for Git projects |
Date: |
Fri, 20 Sep 2019 11:01:54 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
>> That's right: it wouldn't be 100% reliable. I don't think we want to go
>> that way.
> That would be for one application, not for the general facility, but I'm not
> in a hurry to implement that, of course.
Good, because this kind of code is better kept away from Emacs.
The experience with file-notifications in auto-revert mode has been
pretty poor, AFAIC: the implementation is fairly complex/fiddly, and the
user-level behavior is only sometimes better (I often see the delay that
comes from polling).
Stefan
- Re: A project-files implementation for Git projects, (continued)
- Re: A project-files implementation for Git projects, Dmitry Gutov, 2019/09/20
- Re: A project-files implementation for Git projects, Stefan Monnier, 2019/09/20
- Re: A project-files implementation for Git projects, Dmitry Gutov, 2019/09/20
- Re: A project-files implementation for Git projects, Michael Albinus, 2019/09/20
- Re: A project-files implementation for Git projects, Eli Zaretskii, 2019/09/20
- Re: A project-files implementation for Git projects, Dmitry Gutov, 2019/09/20
- Re: A project-files implementation for Git projects, Michael Albinus, 2019/09/20
- Re: A project-files implementation for Git projects, Dmitry Gutov, 2019/09/22
- Re: A project-files implementation for Git projects, Michael Albinus, 2019/09/20
- Re: A project-files implementation for Git projects, Eli Zaretskii, 2019/09/20
- Re: A project-files implementation for Git projects,
Stefan Monnier <=
- Re: A project-files implementation for Git projects, Eli Zaretskii, 2019/09/20
- Re: A project-files implementation for Git projects, Stefan Monnier, 2019/09/20
- Re: A project-files implementation for Git projects, Eli Zaretskii, 2019/09/20
- Re: A project-files implementation for Git projects, Stefan Monnier, 2019/09/20
- Re: A project-files implementation for Git projects, Eli Zaretskii, 2019/09/20
- Re: A project-files implementation for Git projects, Dmitry Gutov, 2019/09/20
- Re: A project-files implementation for Git projects, Tassilo Horn, 2019/09/16
- Re: A project-files implementation for Git projects, Dmitry Gutov, 2019/09/17
- Re: A project-files implementation for Git projects, Tassilo Horn, 2019/09/18
- Re: A project-files implementation for Git projects, Dmitry Gutov, 2019/09/19