Synopsis:
   $strftime([<time_t>] <format>)

Technical:
   This function returns the specified <format> string, after having
   passed it through the strftime(3) library function.

   An optional first argument may be provided which represents the time 
   value that should be used.  The $time() function returns such a value.
   If a time is not provided, the current value of $time() is used.

   The exact nature of the return value depends on your system's 
   implementation of the ANSI C strftime(3) function.  Refer to your
   system's documentation for details.  The output will generally vary
   from system to system, and by locale.

Practical:
   You can use this function when you want to format a time (such as the
   current time) in a specific way for timestamping things.  This function
   is a lot easier to use than trying to wrangle with the output of the
   $stime() function, which returns only one output format.

Returns:
   The input string <format>, after processing by strftime(3).

Examples:
   $strftime(%d %B %Y)          might return "13 December 1996"
   $strftime(%x at %X)          might return "12/13/96 at 16:45:42"

See Also:
   stime(6); time(6)

