1
% @(#)playbalogf.hlq 19.1 (ESO-IPG) 02/25/03 14:03:34
2
%++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
3
%.COPYRIGHT (c) 1990 European Southern Observatory
6
%.KEYWORDS MIDAS, help files, PLAYBACK/LOGFILE
7
%.PURPOSE On-line help file for the command: PLAYBACK/LOGFILE
8
%.VERSION 1.0 02-AUG-1985 : Creation, KB
9
%.VERSION 1.1 02-OCT-1991 : Update, KB
10
%----------------------------------------------------------------
14
PLAYBACK/LOGFILE 02-OCT-1991 KB
17
playback MIDAS commands from a previous logfile
20
Playback commands from a MIDAS logfile.
25
file = a logfile (or parts of it) of a previous MIDAS session;
27
file type ".log" is appended, if no file type explicitely given
30
LOG/ON, LOG/OFF, PLAYBACK/FILE
33
Only MIDAS commands, i.e. lines which begin with ``Midas xyz>''
34
are taken into account, all other file records are ignored.
39
Redo the Midas commands stored in ASCII file `platano.log'.