hi i want the date and time of the following content
"text text Sat Mar 4 12:13:23 IST 2017 text text blah:blah"
i used the following command but unable to finish it because the date is starting with single number 4 instead of 04
grep -Eo '\w{3} \w{3} '