franc at library.iisc.ernet.in writes: > grep -r "Fri Mar 8 10:09:05 IST 2013" * Try grep -r "Fri Mar 8 10:09:05 IST 2013" * (note two spaces before 8 in "Mar 8") Grep is not very smart that way....