Difference between revisions of "SET TIME"

From Recital Documentation Wiki
Jump to: navigation, search
 
Line 15: Line 15:
  
 
==See Also==
 
==See Also==
SET PROMPT
+
[[SET PROMPT]]
  
  
Line 23: Line 23:
  
 
==Example==
 
==Example==
<pre>
+
<code lang="recital">
 
set time on
 
set time on
 
16:28:04 > use patron index events, dates, names
 
16:28:04 > use patron index events, dates, names
 
16:29:08 > reindex
 
16:29:08 > reindex
16:41:04 ></pre>
+
16:41:04 ></code>
  
  
 
==Products==
 
==Products==
 
Recital Terminal Developer
 
Recital Terminal Developer
 +
[[Category:Documentation]]
 +
[[Category:Commands]]
 +
[[Category:Set_Commands|TIME]]

Revision as of 12:29, 12 March 2009

SET TIME

Class

Recital Terminal Developer Environment


Purpose

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


Syntax

SET TIME ON | OFF | (<expL>)


See Also

SET PROMPT


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 Terminal Developer