changeset 32637:6fcf803fe8c5

(Shell Mode): Document `comint-write-output', name change to `comint-delete-output'.
author Miles Bader <miles@gnu.org>
date Thu, 19 Oct 2000 04:30:51 +0000
parents f7b0f34a79a0
children eacee61883ee
files man/misc.texi
diffstat 1 files changed, 13 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/man/misc.texi	Thu Oct 19 04:26:24 2000 +0000
+++ b/man/misc.texi	Thu Oct 19 04:30:51 2000 +0000
@@ -580,10 +580,19 @@
 
 @item C-c C-o
 @kindex C-c C-o @r{(Shell mode)}
-@findex comint-kill-output
-Kill the last batch of output from a shell command
-(@code{comint-kill-output}).  This is useful if a shell command spews
-out lots of output that just gets in the way.
+@findex comint-delete-output
+Delete the last batch of output from a shell command
+(@code{comint-delete-output}).  This is useful if a shell command spews
+out lots of output that just gets in the way.  This command used to be
+called @code{comint-kill-output}.
+
+@item C-c C-s
+@kindex C-c C-s @r{(Shell mode)}
+@findex comint-write-output
+Write the last batch of output from a shell command to a file
+(@code{comint-write-output}).  With a prefix argument, the file is
+appended to instead.  Any prompt at the end of the output is not
+written.
 
 @item C-c C-r
 @itemx C-M-l