[Tutor] file modification dates

[Michael McCormick]

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.

Thanks,

Mike
- --
  Michael McCormick
  michael@esm-software.com

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