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
|
Line | |
---|
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.