hi all,
i am working in bash and grep a timestamp from a file. now i need to do some calculation on it. unfortunately it is in an ugly time format:
Tue Oct 11 10:11:39 2011
does anyone of you know how to reformat that ugly string so that i get the seconds from the beginning of this decade
something similiar to the result of the bash command "date +%s" would be great.