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.