Back in the days of dumb terminals, I used this a lot. Nowadays, with scrolling windows and easy cut and paste, it's not so necessary but it's not a bad idea to know about this in case you ever need it.
script .. here you do whatever you need to do CTRL-D
would capture whatever appeared on the screen betweeen it's invocation and the CTRL-D and put it in file called "typescript" (you could also specify the file you want to record into).
The file is raw data: linefeeds, backspaces, control characters are all faithfully recorded. That's sometimes useful, and is why I still do use this when I need that information.
Got something to add? Send me email.
More Articles by Tony Lawrence © 2011-07-05 Tony Lawrence
The whole thing that makes a mathematician’s life worthwhile is that he gets the grudging admiration of three or four colleagues. (Donald Knuth)