Next: which
Up: Miscellanous
Previous: precision
-
- tv protocol command {close open filename}
All commands entered are recorded to the protocol file
filename.
-
- tv protocol session {close open filename}
All commands entered as well as all output from TV are recorded
to the protocol file filename.
-
- tv protocol standard-output {close open}
All commands entered as well as all output from TV are printed
to standard-output.
Andreas Fitzler
7/13/2000