I have a set of date/time strings in the YYYYMMDDHHMMSS format that I want to convert to something readable by the date utility. Usually, I can do something like:
date -d "2010-10-01 12:34:56"
However, date does not like the YYYYMMDDHHMMSS:
date -d "20100101123456"..invalid date
So, I probably need to refine the string to be in the prior format. I'm thinking sed is the answer, but it gets ugly very fast. I'm quite certain my strings will be the proper format, so how do I easily convert them?