Управление воспроизведением журнальных файлов

Для управления воспроизведением журнальных файлов используются команды:

stop

pause

sleep <duration_in_seconds>

resume [<n>]

where

next [<n>]

Воспроизведение файлов истории может быть прервано несколькими способами. Одним из них является нажатие комбинации клавиш <Ctrl>+C (этот способ применим при работе программы в режиме командной строки - см. подраздел Принудительное завершение операций). Воспроизведение прекращается также, когда в журнальном файле встречаются команды stop или pause.

Команда sleep обеспечивает паузу на определенное число секунд. Такая пауза может использоваться для задержки воспроизведения журнального файла при презентации.

Если проигрываемые журнальные файлы содержат внутри себя команды playback, то возможно существование множества текущих журнальных файлов. Команда where выводит список всех таких файлов, а также мест (номеров строк), в которых делаются паузы. Если программа работает не в пакетном режиме, то первой строкой всегда является <stdin>. Это означает возвращение программы к вводу команд в командной строке после завершения выполнения журнального файла.

Часть команд в любом проигрываемом журнальном файле может быть пропущена путем указания номера строки (получаемого из данных, выводимых командой where), с которой желательно возобновить воспроизведение. Номер указывается в команде resume. Все оставшиеся в проигрываемом журнальном файле команды с меньшими номерами в этом случае пропускаются.

Команда next определяет шаг, с которым осуществляется воспроизведение и прерывание выполнения журнального файла. Аргумент этой команды (<n>) задает количество строк, читаемых и воспроизводимых до следующей очередной остановки. Если никакое число не задано, то файл читается и воспроизводится срока за строй (шаг равен единице).

Возможно остановить воспроизведение журнального файла автоматически при обнаружении ошибки с помощью настройки:

set stop error {on | off}

При задании опции on остановка будет производиться при каждой обнаруженной ошибке. По умолчанию действует опция off.