changeset 16684:483a15efdf87

(find-file-revert-without-query): New variable. (find-file-noselect): Revert certain files without query if the file has changed and the buffer has not.
author Richard M. Stallman <rms@gnu.org>
date Sun, 15 Dec 1996 20:52:40 +0000
parents 6802dbd07a80
children 26919ad3a4ad
files lisp/files.el
diffstat 1 files changed, 23 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/files.el	Sun Dec 15 20:14:13 1996 +0000
+++ b/lisp/files.el	Sun Dec 15 20:52:40 1996 +0000
@@ -115,6 +115,14 @@
 The truename of a file is found by chasing all links
 both at the file level and at the levels of the containing directories.")
 
+(defconst find-file-revert-without-query
+  '("/out$" "/traces/.*\.log$")
+  "*Specify which files should be reverted without query.
+The value is a list of regular expressions.
+If the file name matches one of these regular expressions,
+then `find-file' reverts the file without querying
+if the file has changed on disk and you have not edited the buffer.")
+
 (defvar buffer-file-number nil
   "The device number and file number of the file visited in the current buffer.
 The value is a list of the form (FILENUM DEVNUM).
@@ -772,6 +780,20 @@
 	      (verify-visited-file-modtime buf)
 	      (cond ((not (file-exists-p filename))
 		     (error "File %s no longer exists!" filename))
+		    ;; Certain files should be reverted automatically
+		    ;; if they have changed on disk and not in the buffer.
+		    ((and (not (buffer-modified-p buf))
+			  (let ((tail find-file-revert-without-query)
+				(found nil))
+			    (while tail
+			      (if (string-match (car tail) filename)
+				  (setq found t))
+			      (setq tail (cdr tail)))
+			    found))
+		     (with-current-buffer buf
+		      (message "Reverting file %s..." filename)
+		      (revert-buffer t t)
+		      (message "Reverting file %s...done" filename)))
 		    ((yes-or-no-p
 		      (if (string= (file-name-nondirectory filename)
 				   (buffer-name buf))
@@ -786,8 +808,7 @@
       "File %s changed on disk.  Reread from disk into %s? ")
 			 (file-name-nondirectory filename)
 			 (buffer-name buf))))
-		     (save-excursion
-		       (set-buffer buf)
+		     (with-current-buffer buf
 		       (revert-buffer t t)))))
 	(save-excursion
 ;;; The truename stuff makes this obsolete.