Protokoll

Nach Anwahl des Kommandos wird die Protokolldatei zur Bearbeitung in Ihren Editor geladen. Den Editor sollten Sie vorher definiert haben. Hierfür müssen Sie die Umgebungsvariable EDITOR in der Datei geograf.ini eintragen (siehe Kapitel Die Datei geograf.ini) oder diese Variable für Ihr Betriebssystem setzen. Umfangreiche Möglichkeiten zur Protokollbearbeitung bietet der Dialog Parameter >> Auftragsparameter >> Protokoll bzw. analog das Werkzeug Protokoll, welches im 3. F9-Menü aufgerufen wird.