protocol

   

tv$>$ protocol command {close $|$ open Dateiname$>$}
Alle eingegebenen Kommandos werden in der Protokolldatei Dateiname$>$ aufgezeichnet.

tv$>$ protocol session {close $|$ open Dateiname$>$}
Sowohl alle eingegebenen Kommandos als auch alle Ausgaben von TV werden in der Protokolldatei Dateiname$>$ aufgezeichnet.

tv$>$ protocol standard-output {close $|$ open}
Alle Ausgaben auf die Standardausgabe werden unterbunden oder erlaubt.