SET TIME

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