changeset 9235:a55d058e5e1a

(shell-mode): Compare the truename with /dev/null.
author Richard M. Stallman <rms@gnu.org>
date Sun, 02 Oct 1994 20:11:07 +0000
parents da491f38518c
children 583bb9211b2b
files lisp/shell.el
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/shell.el	Sun Oct 02 20:10:39 1994 +0000
+++ b/lisp/shell.el	Sun Oct 02 20:11:07 1994 +0000
@@ -347,7 +347,7 @@
 	      (cond ((string-equal shell "bash") "~/.bash_history")
 		    ((string-equal shell "ksh") "~/.sh_history")
 		    (t "~/.history"))))
-    (if (equal comint-input-ring-file-name "/dev/null")
+    (if (equal (file-truename comint-input-ring-file-name) "/dev/null")
 	(setq comint-input-ring-file-name nil))
     (setq shell-dirstack-query
 	  (if (string-match "^k?sh$" shell) "pwd" "dirs")))