diff man/programs.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 b00126124976
children c42bb7d4437b
line wrap: on
line diff