Cut marker

 

 

Kommando Funktion

delete Löscht Marker.

enter {cursor $|$ value $|$ offset} Setzt neuen Marker.

list Zeigt alle Marker an.

read filename$>$ Liest eine Liste von Markern aus einer Datei.

restore Lädt Marker aus dem Speicher zurück.

store Speichert Marker im Speicher.

write Dateiname$>$ Speichert eine Liste von Markern in der Datei.

 

tv$>$ cut marker bg-gate {delete $|$ enter $|$ list $|$ read $|$ restore $|$ store $|$ write}
Wendet eine Operation entsprechend der Tabelle 6.2 auf Untergrund-Gates an.

tv$>$ cut marker cut {delete $|$ enter}
Wendet eine Operation entsprechend der Tabelle 6.2 auf Cuts an.

tv$>$ cut marker gate {delete $|$ enter $|$ list $|$ read $|$ restore $|$ store $|$ write}
Wendet eine Operation entsprechend der Tabelle 6.2 auf Gates an.