diff man/building.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 561ef681eab5
children 390058c38d27
line wrap: on
line diff