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

[martin rudalics]

> Here we go.  The output of
>
> "M-x eval-expression RET" and "(file-attributes "~/.emacs") RET"
>
> is
>
> (nil 1 5 5 (18224 33856) (18216 41981) (18206 2636) 3042 "-rw-rw-rw-"
>  nil -16252 (6714 . 34723))
>
> > and by
> >
> >    (visited-file-modtime)
> >
> > the latter in the buffer that visits FILE?
> >
> > Please do this immediately after you visit the file with
> > "C-x C-f FILE RET".
>
>
> The output of
>
> "M-x eval-expression RET" and "(visited-file-modtime) RET"
>
> is
>
> (18216 41981)
>
> immediately after
>
> "C-x C-f ~/.emacs RET"

Just to make sure -  could you always additionally run

"M-x eval-expression RET" and "(verify-visited-file-modtime (current-buffer)) 
RET"

too.  After finding the file and after the error occurred.