# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 781128667 0
# Node ID a55d058e5e1a4d422e7be08f4dbad20dbdba1af1
# Parent  da491f38518c545aafe442a9bf18bb66e1d7ce9a
(shell-mode): Compare the truename with /dev/null.

diff -r da491f38518c -r a55d058e5e1a lisp/shell.el
--- 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")))