changeset 15933:9df952241adc

(shell-mode): Don't assume /dev/null is its own truename.
author Richard M. Stallman <rms@gnu.org>
date Mon, 26 Aug 1996 15:33:13 +0000
parents e4d0cf418b2b
children 3553d10dbcf5
files lisp/shell.el
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/shell.el	Mon Aug 26 15:21:57 1996 +0000
+++ b/lisp/shell.el	Mon Aug 26 15:33:13 1996 +0000
@@ -357,7 +357,8 @@
 		    ((string-equal shell "ksh") "~/.sh_history")
 		    (t "~/.history"))))
     (if (or (equal comint-input-ring-file-name "")
-	    (equal (file-truename comint-input-ring-file-name) "/dev/null"))
+	    (equal (file-truename comint-input-ring-file-name)
+		   (file-truename "/dev/null")))
 	(setq comint-input-ring-file-name nil))
     (setq shell-dirstack-query
 	  (cond ((string-equal shell "sh") "pwd")