comparison man/indent.texi @ 31617:3ed336667dbc

(shell-write-history-on-exit): New function. (shell-dumb-shell-regexp): New custom variable. (shell-mode): Make shell-write-history-on-exit the process sentinel if shell name matches shell-dumb-shell-regexp.
author Andrew Innes <andrewi@gnu.org>
date Thu, 14 Sep 2000 21:15:44 +0000
parents ac7e9e5e2ccb
children 898561c41ba0
comparison
equal deleted inserted replaced
31616:4c03111f81ac 31617:3ed336667dbc