Differences
This shows you the differences between the selected revisions of the page.
2016-10-13 | 2017-01-09 | ||
no need to set switch parameter explicitly to false by default (martin) | options explicit anchor (martin) | ||
Line 84: | Line 84: | ||
</code> | </code> | ||
- | ===== Options ===== | + | ===== [[options]] Options ===== |
The //Pause at the end// makes the script wait for a key press when it finishes. | The //Pause at the end// makes the script wait for a key press when it finishes. | ||
In the //Session log file// you can specify a path to a [[logging|session log file]]. | In the //Session log file// you can specify a path to a [[logging|session log file]]. | ||