Museum

Home

Lab Overview

Retrotechnology Articles

Online Manuals

⇒ asktime(ADM) — OpenDesktop 1.0.0y

Media Vault

Software Library

Restoration Projects

Artifacts Sought


     ASKTIME(ADM)                       UNIX System V



     Name
          asktime - prompts for the correct time of day


     Syntax
          /etc/asktime


     Description
          This command prompts for the time of day.  You must enter  a
          legal time according to the proper format as defined below:

               [[yy]mmdd]hhmm

          Here the first mm is the month number; dd is the day  number
          in  the  month;  hh is the hour number (24-hour system); the
          second mm is the minute number; yy is the last 2  digits  of
          the  year  number  and is optional.  The current year is the
          default if no year is mentioned.


     Examples
          This example sets the new time, date, and  year  to  ``11:29
          April 20, 1985''.

          Current system time is Wed Nov  3 14:36:23 PST 1985
          Enter time ([yymmdd]hhmm): 8504201129



     Diagnostics
          If you enter an illegal time, asktime prompts with:

          Try again:


     Notes
          asktime is normally performed automatically by the  /etc/rc2
          system  startup  scripts  immediately  after  the  system is
          booted; however, it may be executed at any time. The command
          is privileged, and can only be executed by the super-user.

          Systems which autoboot will invoke asktime automatically  on
          reboot.  On  these systems, if you don't enter a new time or
          press return within 1  minute  of  invoking  asktime  ,  the
          system  will  use the time value it has.  If RETURN alone is
          entered, the time is unchanged.


     Value Added
          asktime is an extension of AT&T System  V  provided  by  the
          Santa Cruz Operation.


     (printed 8/23/89)                                  ASKTIME(ADM)

Typewritten Software • bear@typewritten.org • Edmonds, WA 98026