Last change
on this file since 1759 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.