options time < scriptfile
This submits the scriptfile for execution at a later time.
The redirection (
<) isn't required on BSD and some other UNIX
If you don't want to write a script, you can omit it and type your commands
on the terminal, terminated by
options time Command 1 Command 2... [CTRL-d]
The time is most commonly a four-digit number representing a
time on a 24-hour clock. For example,
0130 represents 1:30 a.m. and
1400 represents 2 p.m. You can also use abbreviations such as
130pm, and so on.
- from O'Reilly & Associates' System Performance Tuning, Chapter 3