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 remember correctly, xterm doesn't either. Thanks in advance, -- Kevin McCarty Physics Department kmccarty@princeton.edu Princeton University www.princeton.edu/~kmccarty Princeton, NJ 08544