![]() |
![]() |
$optionReturns the value of an option |
||
Usage | ||
|
||
Description | ||
Returns the current value of the internal option named <optionName>. See the option command documentation for more info about options. | ||
Syntax Specification | ||
|
||
Examples | ||
|
||
See also | ||
option, |