protocol

   

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.