omega_grey wrote:
If I have a text file full of dates in the format 01/12/08 or 1/12/08 can
grep rewrite it as 2008-12-01.
No. Why on earth would you expect grep to have that ability?
and for kicks, since I am asking. can you take 3:00 pm and make it military
time?
You /might/ be able to do this with 'date' (somewhat complicated, but
possibly most reliable). You *can* do it with sed or awk; awk is
probably easier (because it can do math; with sed, you'd have to write
an expression, but I don't know awk very well, so can't help much. Do
your own research :-).
--
Matthew
Please do not quote my e-mail address unobfuscated in message bodies.
--
Time is an illusion. Lunchtime doubly so. -- Ford Prefect (Douglas
Adams' HHGttG)
