Re: <filename> changed on disk; really edit the buffer?

[Lennart Borgman (gmail)]

Jason Rumney wrote:
> Stephan Lukits wrote:
> > It changes time even before Emacs complains.  It changes time
> > exactly at that moment when emacs does auto-saving.
> >
> > before auto-saving:
> > $ ls -o auto-save-test.tex
> > -rwx------+ 1 pc-betreuung 48 Nov 13 09:59 auto-save-test.tex
> >
> > after auto-saving:
> > $ ls -o auto-save-test.tex
> > -rwx------+ 1 pc-betreuung 48 Nov 13 10:00 auto-save-test.tex
>
> Auto-saving should be writing to #auto-save-test.tex#. Have you made
> some customization to try to force it write to the original file?


Should not Emacs detect that situation?