1 02/27/85  time
 2 
 3 Syntax as a command:  time {time_string} {-control-arg}
 4 
 5 
 6 Syntax as an active function:  [time {time_string} {-control-arg}]
 7 
 8 
 9 Function: returns a five-character time of day of the form "HH:MM",
10 e.g., "16:15".  The format string to produce this is "^Hd:^MH".
11 
12 
13 Arguments:
14 time_string
15    indicates the time about which information is desired.  If you
16    supply no time_string, the current time is used.  The time string is
17    concatenated to form a single argument even if it contains spaces;
18    you need not quote it.  (See time_strings.gi for a description of
19    valid time_string values.)
20 
21 
22 Control arguments:
23 -zone STR
24    STR specifies the zone that is to be used to express the result.
25    (Default: the process default)
26 
27 
28 Notes: Use the print_time_defaults command to display the default
29 zone.  Use the display_time_info command to display a list of all
30 acceptable zone values.
31 
32 Due to exec_coms, etc., that have been built around the expected
33 date_time format, this command does not honor the process date_time
34 format (set by set_time_default).  You are encouraged to use "clock
35 time" in place of time to get the proper default handling.