|
Last change
on this file since 884 was
718,
checked in by sherbold, 12 years ago
|
- added command man that prints manuals of commands to the console
- added manuals für the commands exec, exit, listCommands, man, and trainMarkovModel
|
|
File size:
197 bytes
|
| Rev | Line | |
|---|
| [718] | 1 | Executes a batch of commands. The batch is defined as a text file, where each line defines one command. Leading and trailing whitespaces are ignored. |
|---|
| 2 | |
|---|
| 3 | $USAGE$ |
|---|
| 4 | Example(s): |
|---|
| 5 | exec scripts/batchscript |
|---|
Note: See
TracBrowser
for help on using the repository browser.
