Dump a terminal buffer to file

[Harry Putnam]

Joshua Andrews <josh at wavefood.com> writes:

>>I think I once a knew a command or series of commands that would dump
>>the scroll_back buffer of an xterm to STDOUT.
>>
>>Any one here know how that is done?
>>
>>
>>  
>>
> It seems that you should be able to do that but I can't think of it.
>
> You can always run your terminal session with script, for example;
> script ~/session-name.txt
> When you exit out of script everything will be written in session-name.txt

Thanks  I'm aware of `script'
But here the question is how to dump a buffer, not how to log a
session.  `script' adds another layer between user and shell, in
effect it is a new shell.  Plus the saved log is full of junk that has
to be removed to make sense of it.