On Wed, 3 Apr 2013, Stephen J. Turnbull wrote:

fr...@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....

Thanks for the replay. I used the grep command as you have suggested, but it doesn't help. Had a look at the archived msg in question. There is only once space between Mar and 8.

 - Francis


--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

------------------------------------------------------
Mailman-Users mailing list Mailman-Users@python.org
http://mail.python.org/mailman/listinfo/mailman-users
Mailman FAQ: http://wiki.list.org/x/AgA3
Security Policy: http://wiki.list.org/x/QIA9
Searchable Archives: http://www.mail-archive.com/mailman-users%40python.org/
Unsubscribe: 
http://mail.python.org/mailman/options/mailman-users/archive%40jab.org

Reply via email to