[Tutor] file modification dates

Michael McCormick michael@esm-software.com
Sun, 16 Jan 2000 13:04:40 -0600

I've been starting to learn Python to do some programs that are too
painful as shell scripts but not worth the effort to write in C.

In that context, how can I discover the creation or modifiation
date/time of a file? I didn't see anything in the documentation (but
I've been known to read right over the answer I'm looking for). I'm
looking for something beyond os.exec(...), and I'm mostly interested in
Linux (if the solution is platform-dependent), but other platform info
would be useful as tell.

Any info is appreciated.


- --
  Michael McCormick

      Polar exploration is at once the cleanest and most isolated
                   way of having a bad time that has been devised.
                                            Apsley Cherry-Garrard