diff man/woman.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 2e1c439e7b1b
children 333acd184423
line wrap: on
line diff