Re: Simple terminal question

2002-10-10 Thread Jeff
Felipe Martínez Hermo, 2002-Oct-10 13:36 +0200: > El Thu, Oct 10, 2002 at 05:18:03AM -0400, Kevin B. McCarty escribió: > > Hi all, > > Are there any terminal emulators that have an option to save the contents > > of the terminal buffer to a text file? Gnome-terminal (the version > > in woody,

Re: Simple terminal question

2002-10-10 Thread Roy Pluschke
On Thu, 10 Oct 2002 05:18:03 -0400 (EDT) "Kevin B. McCarty" <[EMAIL PROTECTED]> wrote: > Hi all, > Are there any terminal emulators that have an option to save the contents > of the terminal buffer to a text file? Gnome-terminal (the version > in woody, at least) doesn't seem to have such an o

Re: Simple terminal question

2002-10-10 Thread Felipe Martínez Hermo
El Thu, Oct 10, 2002 at 05:18:03AM -0400, Kevin B. McCarty escribió: > Hi all, > Are there any terminal emulators that have an option to save the contents > of the terminal buffer to a text file? Gnome-terminal (the version > in woody, at least) doesn't seem to have such an option, and if I re