Next: $HOME: The user’s home directory, Previous: $GETENV: Get value of environment variable, Up: Built-in functions [Contents][Index]
$HOME
$GETENV
$HEADER
Header
Equivalent to ‘$KEYWORD(Header)’. See $KEYWORD: Value of global RCS-like keyword.
$KEYWORD