78 lines
3.2 KiB
HTML
78 lines
3.2 KiB
HTML
<HTML>
|
|
<HEAD>
|
|
<TITLE>The Batch Buffer Manager</TITLE>
|
|
</HEAD>
|
|
<BODY>
|
|
<H1>The Batch Buffer Manager</H1>
|
|
<P>
|
|
The batch buffer manager handles the execution of batch files. It can
|
|
execute batch files directly. Additionally, batch files can be added
|
|
into a queue for later processing. The batch buffer manager supports
|
|
the following command described below. Please note, that the examples
|
|
assume that the batch manager has been configured into SICS under the
|
|
name of exe.
|
|
<dl>
|
|
<dt>exe buffername
|
|
<dd>directly load the buffer stored in the file buffername and execute
|
|
it. The file is searched in the batch buffer search path.
|
|
<dt>exe batchpath [newpath]
|
|
<dd>Without an argument, this command lists the directories which are
|
|
searched for batch files. With an argument, a new search path is
|
|
set. It is possible to specify multiple directories by separating them
|
|
with colons.
|
|
<dt>exe syspath [newpath]
|
|
<dd>Without an argument, this command lists the system directories which are
|
|
searched for batch files. With an argument, a new system search path is
|
|
set. It is possible to specify multiple directories by separating them
|
|
with colons.
|
|
<dt>exe info
|
|
<dd>prints the name of the currently executing batch buffer
|
|
<dt>exe info stack
|
|
<dd>prints the stack of nested batch files (i.e. batch files calling
|
|
each other).
|
|
<dt>exe info range [name]
|
|
<dd>Without an argument prints the range of code currently being
|
|
executed. With a parameter, prints the range of code executing in
|
|
named buffer within the stack of nested buffers. The reply looks like:
|
|
number of start character = number of end character = line number.
|
|
<dt>exe info text [name]
|
|
<dd>Without an argument prints the code text currently being
|
|
executed. With a parameter, prints the range of code text executing in the
|
|
named buffer within the stack of nested buffers.
|
|
<dt>exe enqueue buffername
|
|
<dd>Appends buffername to the queue of batch buffers to execute.
|
|
<dt>exe clear
|
|
<dt>Clears the queue of batch buffers
|
|
<dt>exe queue
|
|
<dd>Prints the content of the batch buffer queue.
|
|
<dt>exe fullpath filename
|
|
<dd>Prints the full path name for filename if the file can be located
|
|
somewhere in exe paths. Else an error is printed. The purpose is to use
|
|
exe file management facilties in scripts.
|
|
<dt>exe makepath filename
|
|
<dd>Prints the full path name for filename in the first direcory of batch path.
|
|
This is a tool to have scripts open files in the proper user directory.
|
|
<dt>exe run
|
|
<dd>Starts executing the batch buffers in the queue.
|
|
<dt>exe print buffername
|
|
<dd>Prints the content of the batch buffer buffername to the screen.
|
|
<dt>exe interest
|
|
<dd>Switches on automatic notification about starting batch files,
|
|
executing a new bit of code or for finishing a batch file. This is
|
|
most useful for SICS clients watching the progress of the experiment.
|
|
<dt>exe upload
|
|
<dd>Prepares the batch manager for uploading a buffer to SICS
|
|
<dt>exe append some text
|
|
<dd> Appends a line with everything after append to the upload buffer
|
|
<dt>exe save filename
|
|
<dd>saves the recently uploaded buffer under filename on the SICS server. Does not overwrite
|
|
existing files.
|
|
<dt>exe forcesave filename
|
|
<dd>saves the recently uploaded buffer under filename on the SICS server. Overwrites existing file.
|
|
<dt>exe clearupload
|
|
<dd>clears any pending upload operations.
|
|
</dl>
|
|
</P>
|
|
</BODY>
|
|
</HTML>
|