![]() |
![]() |
$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, |