[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: <filename> changed on disk; really edit the buffer?
From: |
Richard Stallman |
Subject: |
Re: <filename> changed on disk; really edit the buffer? |
Date: |
Wed, 21 Nov 2007 07:03:57 -0500 |
Also occurred to me that a possible use for auto-saving into the
current file is when you don't have enough permissions in the
current directory to create a new file.
I think it would be better to put the auto save file in a different
directory. In fact, perhaps we should change make-auto-save-file-name
to do this automatically.
Would someone like to try this?
- Re: <filename> changed on disk; really edit the buffer?,
Richard Stallman <=