SET TIME

From Recital Documentation Wiki
Jump to: navigation, search

Purpose

Determine whether the current time is displayed whenever in the interactive command prompt


Syntax

SET TIME ON | OFF | (<expL>)


See Also

SET PROMPT, TIME()


Description

If SET TIME is ON, then the current system time is displayed in the format HH:MM:SS before each interactive command prompt. By default, TIME is OFF.


Example

set time on
16:28:04 > use patron index events, dates, names
16:29:08 > reindex
16:41:04 >


Products

Recital