Sitzungen erzeugen

Eine Sitzung kann mit Befehlen aus dem Menü TextSitzung gestartet werden. Sie besteht aus einer Folge von Eingabe- und Ausgabe-Feldern. Wenn man return innerhalb eines Eingabefeldes benutzt, dann wird der Text innerhalb dieses Feldes von dem externen Programm evaluiert und in einem Ausgabefeld gezeigt.

Wenn man einen Befehl in einer Sitzung eingibt, so versucht die externe Anwendung, diesen auszuführen. mehrere Befehle können innerhalb eines Dokuments auf einmal gestartet werden, die Ausgabe ist aber nur dort aktiv, wo sich der Cursor befindet und auch nur dort wird ausgegeben. Deshalb empfehlen wir, unterschiedliche Puffer zu verwenden, wenn mehrere Befehle parallel ausgeführt werden sollen.

Für jede externe Anwendung können Sie wählen, ob Sie einen Prozess für mehrere Sitzungen gemeinsam haben wollen, oder ob jede Sitzung seinen eigen Prozess haben soll. Genauer gesagt, wenn Sie eine Sitzung mit dem Befehl EinfügenSitzungAnders in ein Dokument einfügen, dann können Sie die „Sitzungsart” (Shell, Pari, Maxima usw.) angeben und einen „Sitzungsnamen” (Vorgabe ist „default”). Sitzungen mit unterschiedlichen Namen entsprechen verschiedenen Prozessen und Sitzungen, die einen gemeinsamen Namen haben, gehören zum gleichen Prozess.

Um den Prozess, der einer Sitzung zugrunde liegt, zu beenden, benutzen Sie SitzungSitzung schließen. Die Sitzung-Befehle erscheinen automatisch, wenn Sie sich in einer Sitzung befinden.Wenn man return in einer Sitzung drückt, die nicht mehr verbunden ist, dann wird diese wieder automatisch gestartet. Sie können SitzungAusführung abbrechen benutzen, um die Ausführung eines Befehls in der Sitzung zu unterbrechen, wenn die Anwendung dies erlaubt.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".