Does your terminal have an extra port on the back for plugging in a printer? You might be able to hook up a serial printer to the port. Then you can make a little shell script named something like myprint and use it this way:
The myprint shell script can be as simple as this:
echo "\033[5i\c" cat $* echo "\033[4i\c"
escape=`echo -n e | tr e '\033'` echo -n "$escape[5i" cat $* echo -n "$escape[4i"
Some terminals may require a newline after the escape sequences;
if yours doesn't work, try the echo commands without the
If your printer seems to lose characters, you may have
Try using a slower data rate to the terminal.